preparing SMT based type check model