remov node accord node arrai contract total height fig param start index node arrai param node fig messag port node index arrai start contract node start node contract node length node link posit start contract fig messag port illeg argument except try contract non messag node link posit remov start contract contract contract updat node state rectangl bound height contract sequenc diagram layer link distanc updat edg set bound 