Ambiguity rule definition in country road puzzle

[T0nyX1ang]

In the 4th rule of country road, it says:

Two adjacent cells in different countries cannot both be unused by the loop.

But in the example errors, there is a different definition:

The cells that is not passed any line are adjacent over border line.

These rules are equivalent if there are no extra edges inside an area, but things are different if there are extra edges inside an area, where the latter definition is stronger than the former one. For example, there is a puzzle found in the database:

Link: https://puzz.link/p?country/10/12/d4ibeqt5abl75ajb6m94i80400vvvvk5vvufvv9h7sci34h21h21t6j6h

From the implementation of pzprjs, we can know that pzprjs takes the latter definition. Therefore, is it possible to alter the former definition to remove the ambiguity?