Paul Eggert wrote: >>> 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.
True. So gl_assume (X) ? Hmm... or gl_veritas (X) But that's probably too obscure. Which makes me think of simply gl_true (X). I have a slight preference for the semantics of gl_assume.
