Refactoring ModelChecking to make it simpler so that it is easier to implement CBC and LTL
Wrote new Command to get newest edges