Added the constant True and False to formula.
Transition getters now never returns null values
The ACT_Init event is now a constant in GraphSimulator.
Failure message now states when we did stop at the first error
Added missing test for the CNFConverter
Added the convertion into CNF Formula of the True formula
bugfix: Comparison to ACT_INIT must use the name (introduced in 24829a7)