In other words, A tip is only a tip if the complete length is a tip.  This is the same behavior you'd find in a merged graph (where ABCD would be merged together already).