shell: see() checks if numStates() is too high
lts: remove incomplete Kanellakis-Smolka algorithm
minimization: manage Lts::end and Lts::err

Script test #5 covers this.