Full static analysis done as well as constant expression reduction and unsued variable analysis. Started integrating with jamie's code generator