add a converter from Z3 models to RML models
use z3 model parser
more readable