Added IR analysis. Slicing added, in progress