------------------------------------------
{compObjWrittenByActivityBeforeActivity(x24,a25,a25,8), subsActivityBeforeActivity(a25,a25,8)}

{}

{}

{}

{redundant(x4,a3,endflow,27), redundant(x8,a3,endflow,27), redundant(x8,a3,endflow,36), redundant(x8,a3,endflow,48), redundant(x8,a3,endflow,54), redundant(x8,a3,a19,20), redundant(x8,a3,a8,50), redundant(x18,a3,endflow,36), compObjWrittenByActivityBeforeActivity(x4,a3,endflow,54), compObjWrittenByActivityBeforeActivity(x4,a3,a3,14), compObjWrittenByActivityBeforeActivity(x4,a3,a12,21), compObjWrittenByActivityBeforeActivity(x8,a3,a17,12), compObjWrittenByActivityBeforeActivity(x17,a3,endflow,54), compObjWrittenByActivityBeforeActivity(x17,a3,a16,19), compObjWrittenByActivityBeforeActivity(x18,a3,endflow,27), compObjWrittenByActivityBeforeActivity(x18,a3,endflow,43), compObjWrittenByActivityBeforeActivity(x18,a3,endflow,48), compObjWrittenByActivityBeforeActivity(x18,a3,a23,32)}


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

{}

{}

{}

{}