Fix in handling numerical simplification for postconditions. Lifting postcondition parameters to invariant parameters, not implemented yet.