Lift postcondition parameters to invariant parameters.