uniqueness check for error propagations now takes into account the
direction as well.
added comment so git knows to push