Updates to handle CTL-formulas
Operators, Checker and Model-changes