fixed lifting against invariant constraints