------------------------------------------
{compObjWrittenByActivityBeforeActivity(x5,a24,a24,7), subsActivityBeforeActivity(a24,a24,7)}

{}

{}

{redundant(x2,a19,endflow,27), redundant(x2,a19,endflow,40), redundant(x2,a19,endflow,43), redundant(x3,a19,endflow,19), redundant(x3,a19,endflow,27), redundant(x3,a19,endflow,34), redundant(x3,a19,a21,21), redundant(x3,a19,a1,32), redundant(x3,a19,a2,33), redundant(x10,a19,endflow,19), redundant(x10,a19,a11,18), redundant(x16,a19,endflow,19), compObjWrittenByActivityBeforeActivity(x2,a19,endflow,19), compObjWrittenByActivityBeforeActivity(x2,a19,endflow,34), compObjWrittenByActivityBeforeActivity(x2,a19,a20,26), compObjWrittenByActivityBeforeActivity(x2,a19,a3,37), compObjWrittenByActivityBeforeActivity(x3,a19,a22,10), compObjWrittenByActivityBeforeActivity(x10,a19,a18,11), compObjWrittenByActivityBeforeActivity(x16,a19,a24,9)}