//Typecheck
Options opts = options("src/test/resources/variance/phase1");
TypeChecker tc = typeChecker(opts);
//Compile
JsCompiler jsc = new JsCompiler(tc, opts);
jsc.generate();
Map<String, Object> model = JSUtils.readJsonModel(new File("modules/phase1/0.1/phase1-0.1-model.js"));
Assert.assertNotNull("Model not found", model);
model = (Map<String,Object>)model.get("phase1");
Assert.assertNotNull("Default package not found", model);
model = (Map<String,Object>)model.get("m2");