unitTest.addStatement(assertion);
// TODO: fill in assertion
controller.apply(new NewProjectOperation(project));
controller.apply(
new NewEdgeOperation(sayHello, TYPEOF, stdLib.intClazz),
new NewEdgeOperation(consoleDep, TYPEOF, stdLib.consoleClazz));
controller.apply(new NewEdgeOperation(helloWorld, TYPEOF, stdLib.stringClazz));
controller.apply(
new NewEdgeOperation(printHello, TARGET, consoleDep),
new NewEdgeOperation(printHello, INVOKE, stdLib.printMethod),
new NewEdgeOperation(printHello, ARG, helloWorld));
controller.apply(
new NewEdgeOperation(zero, TYPEOF, stdLib.intClazz),
new NewEdgeOperation(aReturn, ARG, zero));
controller.apply(new NewEdgeOperation(resultDecl, TYPEOF, stdLib.intClazz));
controller.apply(new NewEdgeOperation(callMain, INVOKE, sayHello));
}