Refactor restriction_mgr to state_mgr
Moved nonterminal dirty flag into state_mgr; fixes second run
Moved match_node reachability flag into manager; fixes behaviour
Fixed segfault on loader deallocation