void main(string[] args)
{
    if (prevLocation != size_t.max)
    {
        addErrorMessage(line, column, KEY, "Expression %s is true: already checked on line %d.".format(
                expressions[prevLocation].formatted, expressions[prevLocation].line));
    }
}