let
assertion_ge term bound =
Logic_const
.prel (
Rge
, term,
Cil
.lconstant bound)