Includes problems such as: - Grammar errors - Type, argument and return declarations - Redundant argument removal