tests / testsuite-gcc / flattening_libraries_biochem.InsulinSignaling_Sedaghat.mos (from (result.xml))