Add tests for intrinsics::unreachable