------------------------------------------
{subsActivityBeforeActivity(a19,a19,9), subsActivityBeforeActivity(a6,a6,13)}

{}

{}

{redundant(x3,a21,endflow,26), redundant(x3,a21,endflow,32), redundant(x10,a21,endflow,26), redundant(x10,a21,endflow,32), redundant(x10,a21,endflow,38), redundant(x10,a21,endflow,53), redundant(x10,a21,endflow,59), redundant(x10,a21,endflow,65), redundant(x16,a21,endflow,26), redundant(x16,a21,endflow,32), redundant(x16,a21,endflow,38), redundant(x16,a21,a23,40), redundant(x19,a21,endflow,53), redundant(x19,a21,endflow,59), redundant(x19,a21,endflow,65), compObjWrittenByActivityBeforeActivity(x3,a21,a3,12), compObjWrittenByActivityBeforeActivity(x10,a21,a19,10), compObjWrittenByActivityBeforeActivity(x16,a21,a21,13), compObjWrittenByActivityBeforeActivity(x16,a21,a20,20), compObjWrittenByActivityBeforeActivity(x19,a21,endflow,26), compObjWrittenByActivityBeforeActivity(x19,a21,endflow,32), compObjWrittenByActivityBeforeActivity(x19,a21,endflow,38), compObjWrittenByActivityBeforeActivity(x19,a21,a23,40)}

{compObjWrittenByActivityBeforeActivity(x16,a6,a21,15), compObjWrittenByActivityBeforeActivity(x16,a6,a21,23)}

{compObjWrittenByActivityBeforeActivity(x12,a25,a3,14)}


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

{}

{}

{}

{}

{}