Fix benchmark definition for LIV
the data model is handled by the tool info module.
benchexec tool info module PR is here: https://github.com/sosy-lab/benchexec/pull/966
(if there is CI that checks for this then it will fail unless the MR is merged)