TODO: arreglar el método checkNode de la clase CallNode.
Hay que obtener correctamente los formalArgs para todos los casos.
Actualmente falla en test.txt en la línea if(obj.getB() != false)
Tambien tiene que funcionar para casos como: System.call

Fixs:

1) El método checkNode de la clase AssignNode ahora también hace expression.checkNode().

2) El método controlFormalArgs de la clase NewNode ahora obtiene la ConstructorEntry correctamente y controla bien la conformidad de los tipos de los argumentos.