let is_one = function
  | App(Pp(Mult), []) -> true
  | _ -> false