Ignores any methods defined after the main.
Checks for correct number of parameters on method calls. TODO:check parameters type.