From SV-COMP, branch svcomp24, file c/neural-networks/logistic_5_unsafe.c-amalgamation.c
