Summary: We can reach this state from phi input rematerialization, so pass in the Reaches of the predecessor
Reviewed-by: roland, twisti