SystemZ: Fold variable into assertion.