method pred_relation = function | PRED.I_lt | PRED.R_lt -> Infix("<") | PRED.I_leq | PRED.R_leq -> Infix("<=") | PRED.L_eq -> Infix("=") | PRED.L_neq -> Infix("<>") | B_false -> Prefix "" | B_true -> Prefix ""