Trial to count reaching definitions
Some refactoring
Started implementing real translation
Dropped extra code
Counting current variables based on expression results (still left some bugs)
Fixed bug
Refactoring
Leave only super cycles while finding cycles
Get rid of some hard coding
Get rid of copy/paste