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.
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.