let is_mult = function Pp(Mult), _ -> true | _ -> false