System.out.printf("[LTX]:\t%s\n", testNode.toLaTeX());
// AssignmentRule as = new AssignmentRule(2, 4);
Model m = new Model(2, 4);
FunctionDefinition fd = new FunctionDefinition("f", 2, 4);
m.addFunctionDefinition(fd);
//as.setMath(ASTNode.parseFormula("f(a, b, c, d)"));
//m.addRule(as);
//System.out.println(as.getMath().toString());
}