Next: Reduction and Needed Reduction
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.