avoid result based on outdated state, e.g. relevant for use_theories with changed files;