Drakon (which was used in the Soviet space shuttle program) has rules about reasonableness, such as &quot;no crossing lines&quot; which while they can make for larger diagrams, does prevent some of the issues you mention.