invariant (X)?

I'm not a big fan of that name, since the expressions in
question are often not invariants.  They might be preconditions
or postconditions, for example.

Reply via email to