Function bound_term 

pub(crate) fn bound_term(
    term: &Term,
    bindings: &HashMap<String, Term>,
) -> Option<Term>