These are being added by PR 1236 of sv-benchmarks,
but the deadline for new tasks in SV-COMP has already passed,
so they should not have been added by !191.

The remaining changes of !191 (refactoring of benchmark definition
and fixed property file for Juliet task) are not affected.