Fix bug in skolemiser
Wibbles to examples
Add more SMT keywords