Fix: considering reject states in calculating set difference