improved the construction of the proof graph. See machine.hs
added a tag on transient predicates to give a progress property when relying on an event with a fine schedule
integrated event schedule calculations to the proof graph