tests / 04 testsuite-clang 1/3 / flattening_modelica_asserts.StaticAssertSuccess.mo (from (result.xml))