tests / 06 testsuite-clang 3/3 / flattening_libraries_biochem.InsulinSignaling_Sedaghat.mos (from (result.xml))