Fixes passes constructor filtering could give 0 cases.
Split Cegis rules, redefine SimilarTo grammar, fix bug