I have successfully converted a UNV to UNX.
Before conversion, as a UNV, the shortcut join seemed to be ignored by integrity check.
After conversion, the shortcut join is now detected as a normal join and included as a loop on integrity check.
The only way to avoid this loop is to eliminate the shortcut join, but it is needed in the universe modelling.