Suggest(AG('t1'='T'), AF('c1'='T'))
help make check
make package deal
java -jar /path/to/ctl-model-checking.jar 'AG(Not(And('c1'='T', 'c2'='T')))'./src/check/resources/mutual-exclusion.fsm