return new Context(sourceFileName, null, null, null, null, false);
return new Context(sourceFileName, null, null, null, null, false, false);
    public Context withSourceFileName(String sourceFileName) {        return new Context(sourceFileName, null, null, null, null, false);    }