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