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