kindse: generate possible invariants also from unsafe states

There are cases when there are no safe states after
executing a path, so it is worth trying also negations of relations
in the unsafe states. Since those negations are only candidates
and we still check their invariance, this is safe to do.