package mb.statix.solver.log;

import org.metaborg.util.log.Level;

public interface IDebugContext {

    default boolean isRoot() {
        return getDepth() > 0;
    }

    Level getLevel();

    int getDepth();

    IDebugContext subContext();

    void info(String fmt, Object... args);

    void warn(String fmt, Object... args);

    void error(String fmt, Object... args);

    void log(Level level, String fmt, Object... args);

}
@@ -156,9 +156,10 @@
 h() 
-%3E
+==
  0;%0A

Fix inverted test.