let real_op = function | PlusA -> F.e_rop Formula.Radd | MinusA -> F.e_rop Formula.Rsub | Mult -> F.e_rop Formula.Rmul | Div -> F.e_rop Formula.Rdiv | _ -> assert false