Add flag --expand-boolprops
Fix bug in skolemiser