Remove unused probabilistic automata.
Remove unused code.