Allow suppression of inclusive-or munging.

Provide a command-line argument ('-tesla-xor-only') that forces the automaton parsing code to treat inclusive OR as exclusive OR. The behaviour, while not correct, is much simpler to run, graph, understand and therefore provide a basis for debugging inclusive-OR'ed things.
More sophisticated counting algorithm.

Rather than asking "how large is the vector that holds your references", ask "how many references do you have?".