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