Pruning should not look at location names to determine which ones are inconsistant

[magoorden]

The theoretical definition of error states and inconsistant states do not care about the label given to a state. Thus the location label in an automaton should not matter, but currently it does.

In the example below, a user has given one location the name inc (for some unknown reason). But this location is completely consistant, as one can delay infinitely long.

When pruning is applied on this example, the edge labeled with a! is removed, see below.