Target graphs in trace automata should have nodes XOR edges
Target graphs in trace automata should have nodes XOR edges

- EDGES() wasn't checking for this properly
- Spotted when running ase-examples_sort1.c_Q17 in audit build

git-svn-id: 2bf0a26aea6c62cd51edc7db6f8f24500077f83b@277 740c81f5-4728-4b1f-bc77-cf82a461b733

tautschnig/fshell,tautschnig/fshell,tautschnig/fshell,tautschnig/fshell