[BE] marking unsatisifed states
[BE+FE] added nodes id + marking final plan on graph
[FE] better graph drawing