substitute_value_in_var  134 src/SimplifySpecializations.cpp             substitute_value_in_var(var->name, eq->b, s_result);
substitute_value_in_var  138 src/SimplifySpecializations.cpp                 substitute_value_in_var(var->name, !eq->b, result);
substitute_value_in_var  142 src/SimplifySpecializations.cpp             substitute_value_in_var(var->name, const_true(), s_result);
substitute_value_in_var  145 src/SimplifySpecializations.cpp             substitute_value_in_var(var->name, const_false(), result);