Added nice syntax for expressing predicates of ProgramState
Added CTL examples to Peterson and Deadlock