Dispose system states when clearing tree, but do not touch invariant input symbols or output symbols.
Merge pull request #21 from LearnLib/reuse-clearTree

Dispose system states when clearing tree, but do not touch invariant inp...