Procedure which moves freeze operators closer to predicates.
RobustnessComparator made static.
Some documentation.
Predicates now support frozen-time indices substitution.
New method of FormulaStarInfo.
Class removing superfluous freeze operators.
Formula transformation for more efficient monitoring.