------------------------------------------
{}

{redundant(x8,a6,endflow,21), redundant(x8,a6,a14,16), redundant(x18,a6,endflow,21), redundant(x18,a6,endflow,28), redundant(x18,a6,endflow,40), redundant(x18,a6,a12,19), compObjWrittenByActivityBeforeActivity(x8,a6,a7,15), compObjWrittenByActivityBeforeActivity(x18,a6,a4,13)}

{compObjWrittenByActivityBeforeActivity(x13,a1,a24,15)}

{redundant(x9,a18,a7,18), redundant(x9,a18,a9,35), compObjWrittenByActivityBeforeActivity(x9,a18,a24,16)}