Predicate ReDoS::compatible

Holds if s1 and s2 possibly have a non-empty intersection.

This predicate is over-approximate; it is only used for pruning the search space.

predicate compatible(InputSymbol s1, InputSymbol s2)