CA002 - Unused argument

Description

A feature should only have arguments which are actually needed and used in the computation.

Scope	Feature
Status	Disabled
Severity	Warning
Applicability	All
Score	40

Example of violation

square (x, y: INTEGER): INTEGER do Result := x * 2 end

Recommendation

Remove argument and update callers.

In the example, remove the argument y from the argument list.