method pp_pred_and = pp_assoc "True" "/\\" self#pp_pred_atom