Make Z3 to write used lemmas (use with -p Z)