I have been thoroughly enjoying using Alloy, but I am having some emergent behaviour which I can't explain.

Essentially there is an edge in most (maybe all) of the instances that Alloy visualizes called $Show_e which is unrelated to any of my rules.  It always occurs between the same types of objects though:

sig Edge{
   to : Node,
   from : Node,
   label : Label
}

sig Label{
}

There may be many Edges pointing to the same Label, but there seems to always be a $Show_e from each Label to exactly one of the Edges which points at it.

I can't explain it, and it doesn't effect anything else, but it muddles the instance which I would like to use as a deliverable.

I have two questions.

1. Have I done something to cause alloy to add this $Show_e edge?

2. Is there anything I can do to have it not visualize this edge?

Thanks,
Bentley