No matches were found for subject:"\[PATCH\] MATCH\: Add simplifications of `\(a == CST\) \& a`"