Wrap test for whether an instruction is unreachable