create z3 context for simple java types