remove-infinite-loops: use __VERIFIER_silent_exit instead of exit
remove-infinite-loops: use __VERIFIER_silent_exit instead of exit

staticafi/symbiotic,staticafi/symbiotic,staticafi/symbiotic,staticafi/symbiotic