Fixed documentation of unsat core.
Fixed filterString on the empty set.