method pp_term_primitive fmt pi es = let op = self#term_operator pi in let es = match op with Assoc _ -> associative pi es | _ -> es in self#pp_term_operator fmt op es