Function wrap_bin_pred

(
    name: &str,
    fu: Option<fn(Term, Term) -> Term>,
    ff: Option<fn(Term, Term) -> Term>,
    fb: Option<fn(Term, Term) -> Term>,
    fi: Option<fn(Term, Term) -> Term>,
    a: T,
    b: T,
)