stack-checker: more use of hash-sets.