add node partitioning according to edges along which state changes are forbidden