Optimizations for quantifiers conflict find: better caching, process matching constraints eagerly.