public String pretty() {
            return "leaf: " + condition + "(" + condition.getSourceLocation().getFilename() + ":"
                    + condition.getSourceLocation().getLine() + ")";
        }
Pretty prints this CoverageResult.

@return A pretty representation of the condition and result.
smithy-rules-engine/src/main/java/software/amazon/smithy/rulesengine/analysis/CoverageChecker.java