Take into account the possible registers that may be changed my a predicated call as well