Unify the 3 queries from rules M0-2-1 and RULE-19-1

[mbaluda]

Describe the issue

The 3 following queries share most of the logic and could be merged into one by abstracting the copy/assign operations and their operand types:

• RULE-19-1/ObjectAssignedToAnOverlappingObject
• RULE-19-1/ObjectCopiedToAnOverlappingObject
• M0-2-1/ObjectAssignedToAnOverlappingObject