DONE
- Se arreglaron varios nullpointers (generalmente por olvido de establecer el tipo de expresion/sentencia)
- Se agrego un control adicional para las invocaciones a metodo directas en (e.g. method1()) en el contexto de metodos estaticos
'Si llaman a un método dinámico dentro de un método estático tiene que ser por un objeto x.m1() donde m1 es dinámico y x es una variable de tipo Z donde en Z está definido el método dinámico m1, no puede ser un método de la clase en la que están con el método estático porque si hacen solo m1() y es dinámico no hay this "real" a quién referenciar.'
- Se mejoro el manejo de errores
- Se agregaron tests de exito/falla
- Se cambio el criterio de aceptacion para el control de la existencia del metodo main. Se toma por convencion elegir el primer main (no importa que hayan mas). Eso no alivia el hecho de que una clase pueda heredar de otra con un main y al hacer herencia por copia ocurriria un error

TODO
- Debuggear llamadas y probar otros casos de error