Comment on the reimplementation of `run` in the lookahead solver

[zaccharieramzi]

Indeed, we need to use _backup_and_load_cache and _clear_and_load_backup just for evaluation, let's specify that