If you match on `BinaryComparison` instead of `BinaryPredicate` you won't need to skip `And` and `Or` above, which seems a little clearer.