ModelChecker updated to use two emptiness procedures
ModelChecking test added
ModelChecker Test added
Test on the ModelChecker added