method pp_pred_call fmt id ts = 
    self#pp_term_call fmt id ts