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

{redundant(x12,a25,endflow,49), redundant(x12,a25,endflow,57), redundant(x12,a25,endflow,62), redundant(x12,a25,endflow,67), redundant(x12,a25,a14,38), redundant(x12,a25,a8,64), redundant(x15,a25,endflow,49), redundant(x15,a25,endflow,57), redundant(x15,a25,endflow,67), compObjWrittenByActivityBeforeActivity(x12,a25,a7,37), compObjWrittenByActivityBeforeActivity(x15,a25,a23,45)}

{compObjWrittenByActivityBeforeActivity(x15,a16,a25,46)}

{}


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

{}

{}

{}