The following patterns should also be detected: ```c++ if (a >= k) a = k - 1; // a = std::min(a, k - 1); if (a + c > k) a = k - c; // a = std::min(a, k - c); ```