expr_is_pure     4934 src/Simplify.cpp                    expr_is_pure(let_first->value)) {
expr_is_pure     4950 src/Simplify.cpp                    expr_is_pure(if_first->condition)) {
expr_is_pure     4966 src/Simplify.cpp                    expr_is_pure(if_first->condition) &&
expr_is_pure     4967 src/Simplify.cpp                    expr_is_pure(if_rest->condition) &&