Migrate (implement & test) OperationGraph Checking Algorithm

Next:
to refactor the class hierarchy