Tests for simplify boolean intention