* Going back to leaving label undefined for non-gold arcs for debugging