/storage/svcomp/c/bin/ltl-toy/coolant_basis_5_unsafe_sftyliveness_false-valid-ltl.c.oi: \
  coolant_basis_5_unsafe_sftyliveness_false-valid-ltl.c.i