kindse: fix subsuming states

We cannot add the extended sequence to inductive sets before we check
its invariance, otherwise it works as assumption and leads to
false negatives.