Use VanuatooDataGen: instrumenting/filtering data gen

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