If you used black for the hidden lines the error would go unnoticed.
This is most likely the 'fix' seen in the sequence above.
Probably it is due to PTC performing the HLR based on a front-to-back evaluation for hidden lines, so there is no fix on the user side.
PTC would have to gather all the hidden lines and plot them first or evaluate from back-to-front.