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 ""