show counterexample of deadlock in NuSMV view
remember the expanded element of counterexample tree; when user move to
next step, keep the tree expanding state as before