pub fn fv_contains(fv: &Vec<Term>, x: &Term) -> bool
Test if a variable term appears in a vector of variable terms