| 909 | namespace { |
| 910 | |
| 911 | std::vector<Expression> GuaranteeConjunctionMembers( |
| 912 | const Expression& guaranteed_true_predicate) { |
| 913 | auto guarantee = guaranteed_true_predicate.call(); |
| 914 | if (!guarantee || guarantee->function_name != "and_kleene") { |
| 915 | return {guaranteed_true_predicate}; |
| 916 | } |
| 917 | return FlattenedAssociativeChain(guaranteed_true_predicate).fringe; |
| 918 | } |
| 919 | |
| 920 | /// \brief Extract an equality from an expression. |
| 921 | /// |
no test coverage detected