Debugging for half-checks