lifting: Fix a minor error (forall NBar condition)