Termset automaton

With the Termset automaton command, one may get obtain an automaton recognizing the termset. With the Accessibility command one may check whether the set of instances of the current termset is accessible from the current term using the current approximation.