-In Visitor: split State to AbortingState, TerminalState and State
-Check loop in path with a counter of visits on State