- Activate through --cegis:vanuatoo
- Possibility to skip isomorphic models
- One pattern per conjunct