Variable Declaration Usage Distance Check compilable UT input (took from sevntu-checks input, already fixed it several months ago)