Bug fix: removed excessive pruning of (non-redundant) atoms in postconditions. Pruning of redundant atoms in numerical formulas. Small formatting fixes.