Fix conversion from basic edge labels and structured edge labels

Right now, the edge label aux is equivalent to 1=aux and so it is an open feature structure. It should be a closed structure and should not match something like aux:pass

added Bug label

The current code is correct.

The point is that aux is equivalent to 1=aux in graphs but not in patterns. See doc for a precise explanation.

closed