CIL: incorporate change to enum item #51
Description
Goblint-cil changed the api of its data structures: an attributes element was added to enum items. The change has already been incorporated in the codehawk repository and needs to be propagated to the code in this repository.