This tag marks the version of the benchmark sets before the change from __VERIFIER_error to reach_error.