anchor.diff:      env.output = new File(env.output).openWrite();
     }
   
  -  if (args["pretty-print"] == args["lcov"]) {
  -    fail("Choose either pretty-print or lcov output");
  -  }
  -  env.prettyPrint = args["pretty-print"];
     env.lcov = args["lcov"];
  +  if (args["pretty-print"] && env.lcov) {
  +    fail("Choose one of pretty-print or lcov output");
  +  } else if (!env.lcov) {
  +    // Use pretty-print either explicitly or by default.
  +    env.prettyPrint = true;
  +  }
   
     try {
       env.workers = int.parse("${args["workers"]}");
  
positive.code:       return filePath;
      }
      if (import.startsWith(PACKAGE_PREFIX)) {
        var filePath =
            "${_env["pkgRoot"]}"
            "/${import.substring(PACKAGE_PREFIX.length, import.length)}"; 
  
negative.code:   parser.addOption("sdk-root", abbr: "s",
                     help: "path to the SDK root");
    parser.addOption("package-root", abbr: "p",
                     help: "path to the package root");
    parser.addOption("in", abbr: "i",
                     help: "input(s): may be file or directory");
    parser.addOption("out", abbr: "o",
  