Implement liveness analysis to track live variables at a specific point in the program

[yousifpatti]

Please refer to the rules from SPA:

Please note this is a backwards analysis and may require to verify backwards dependencies are implemented correctly as they are not used for any analysis at the moment.