Checks parameters type on method call.
Checks for return statament on methods with type int or bool. TODO: check if return argument is of the same type as the method.