let e_ineg = unop TERM.I_opp