simplify_using_fact  147 src/SimplifySpecializations.cpp             simplify_using_fact(c, s_result);
simplify_using_fact  148 src/SimplifySpecializations.cpp             simplify_using_fact(!c, result);