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