A missing back-propagation in transitive reduction