recoded z3 pervasives in ocaml structures