Support for IFREL code propogation. Static Evaluation of if condition code. solved issue #2
merge