== Progress == - Worked on VRP based zero/sign extension elimination at tree level - Some regression test cases are failing; investigating them

== Plan == - Analyse the reason for test case failure and fix them - Extend the code to handle all the possible cases (currently implemented for subset to get the framework working)