fix to handle user generalizations with multiple possible arcs