`A5-6-1`: Replace with INT33-C implementation

[lcartey]

Affected rules

• A5-6-1

Description

The INT32-C implementation has a number of refinements that address false negatives - for example, detection of assign-div and assign-mul expressions and missing variables which may include the value zero.