filtering of spurious lifted counterexample states