------------------------------------------
{compObjWrittenByActivityBeforeActivity(x7,a12,a12,8), subsActivityBeforeActivity(a12,a12,8), subsActivityBeforeActivity(a6,a6,10), subsActivityBeforeActivity(a24,a24,11)}

{}

{redundant(x1,a6,endflow,27), redundant(x1,a6,endflow,34), redundant(x1,a6,endflow,40), redundant(x1,a6,endflow,47), redundant(x1,a6,endflow,53), redundant(x1,a6,a5,24), redundant(x1,a6,a14,30), redundant(x1,a6,a8,43), redundant(x1,a6,a1,26), redundant(x1,a6,a1,33), redundant(x1,a6,a1,39), redundant(x1,a6,a1,46), redundant(x1,a6,a1,52), compObjWrittenByActivityBeforeActivity(x1,a6,a18,23)}

{redundant(x14,a24,endflow,41), compObjWrittenByActivityBeforeActivity(x14,a24,endflow,35), compObjWrittenByActivityBeforeActivity(x14,a24,a2,43), compObjWrittenByActivityBeforeActivity(x14,a24,a19,39), compObjWrittenByActivityBeforeActivity(x22,a24,endflow,28), compObjWrittenByActivityBeforeActivity(x23,a24,a9,20)}

{compObjWrittenByActivityBeforeActivity(x2,a1,a18,25)}


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

{}

{}

{}

{}