Reachability tree implemented, added support for more than one connection between Transition and Node