Implementación:
1) checkMethod en MethodEntry.

Fixs:

1) En el método ArgFormal de la clase Parser no se consideraba el caso de que el argumento formal sea del constructor.
Solo consideraba métodos. Causaba NullPointerExceptions. 

2) El método declarationCheckMainExistence fallaba aunque se encontrara un método main.

3) Se corrigio el control de sentenceCheck para que no checkee las clases System y Object.