WIP ineff-assign and unused-assign analyzer

[bluesign]

Description

WIP

adds unused variable and ineffectual assign analyzer.

a bit WIP some places I am not sure 100%

---

• Targeted PR against master branch
• Linked to Github issue with discussion and accepted design OR link to spec that describes this work
• Code follows the standards mentioned here
• Updated relevant documentation
• Re-reviewed Files changed in the Github PR explorer
• Added appropriate labels

[turbolent]

Great work Deniz! Is this analysis inspired by some existing algorithm, like e.g. https://github.com/gordonklaus/ineffassign?

[bluesign]

I don't remember exactly, but I think you directed me this algorithm before, I tried to make it similar probably.