optimize full applications in the z3 encoding is now the default
something is changing modes automatically ... hmm; reverting