Fix bug with nonHCF checkers.
More trace.
Testcases.