parsing models produced by SMT solver (not yet tested)