Arc-decomposability does not always hold, however, in which case there are extra costs to take into account: by definition of non-arcdecomposable systems, some arcs are incompatible (they are not unreachable, they can simply not be reached together).
at some point, adding a gold arc will imply renouncing to another gold arc, thereby inserting an error.