minor refactoring
added missing flag for z3