Add case branches for InstReach