CA005 - Useless object test local

Description

For local variables and feature arguments it is unnecessary to use an object test to check their attachment status.

Scope	feature
Status	Enabled
Severity	Suggestion
Applicability	All
Score	40

Example of violation

if attached a_local as another_local then another_local.do_something end

Recommendation

Remove the object test local, or replace the object test and use a comparison to Void.

In the example, it can simply be: if attached a_local then a_local.do_something end

or

if a_local /= Void then a_local.do_something end