@Override
public void execute() throws IOException, CopperParserException {
TypedAST res = (TypedAST)new Wyvern().parse(new StringReader(code+"\n"), "test input");
Assert.assertEquals(expectedType, res.typecheck(Globals.getStandardEnv(), Optional.<Type>empty()).toString());
res = new DSLTransformer().transform(res);
Value finalV = res.evaluate(Globals.getStandardEnv());
Assert.assertEquals(expectedValue, finalV.toString());
}