s_expressions-generic_caches: turn a useless check into a precondition