18 insert(function_application);
23 for(function_mapt::const_iterator it=
40 conjuncts.resize(o1.size());
42 for(std::size_t i=0; i<o1.size(); i++)
49 return std::move(and_expr);
57 for(std::set<function_application_exprt>::const_iterator
62 for(std::set<function_application_exprt>::const_iterator
67 exprt arguments_equal_expr=