Function simplify_terms 

fn simplify_terms(terms: Vec<Term>) -> Option<Vec<Term>>