SimilarTo extends terminals to CEGIS
We ignore oneOf, as it is already taken care of
Passes is no longer subtype of MatchLike
Supress some Java warnings
A forgotten test for example parsing
Add support for Passes case path conditions
Custom timeout in Repairman
Some fixes in Problem
Benchmark additions/changes