Rewrite dwarf-encounter ceck so coverage testing sees all predicates.