pub fn extract_comparison(term: &Term) -> Option<(String, Term, Term)>
Extract comparison from goal: (SApp (SApp (SName “Lt”|“Le”|“Gt”|“Ge”) lhs) rhs)