z3java: Add stub of z3 model parsing