Generalize the possible scenarios to KHR_robust_buffer_access_behavior's semantics.