Всё ОК, всё работает, однако позже я обнаружил, что алгоритм вычисления GVT в редких случаях может накосячить...