Begin adding static dependence information to passes, which will allow us to