------------------------------------------
{subsActivityBeforeActivity(a7,a7,7), subsActivityBeforeActivity(a9,a9,9)}

{}

{redundant(x6,a9,endflow,36), redundant(x6,a9,endflow,41), compObjWrittenByActivityBeforeActivity(x1,a9,endflow,23), compObjWrittenByActivityBeforeActivity(x1,a9,endflow,31), compObjWrittenByActivityBeforeActivity(x1,a9,endflow,36), compObjWrittenByActivityBeforeActivity(x1,a9,endflow,41), compObjWrittenByActivityBeforeActivity(x6,a9,endflow,23), compObjWrittenByActivityBeforeActivity(x6,a9,endflow,31), compObjWrittenByActivityBeforeActivity(x6,a9,a23,34), compObjWrittenByActivityBeforeActivity(x6,a9,a14,39), compObjWrittenByActivityBeforeActivity(x14,a9,endflow,23), compObjWrittenByActivityBeforeActivity(x14,a9,endflow,31), compObjWrittenByActivityBeforeActivity(x14,a9,endflow,41), compObjWrittenByActivityBeforeActivity(x14,a9,a23,34), compObjWrittenByActivityBeforeActivity(x25,a9,endflow,23), compObjWrittenByActivityBeforeActivity(x25,a9,endflow,31), compObjWrittenByActivityBeforeActivity(x25,a9,endflow,36), compObjWrittenByActivityBeforeActivity(x25,a9,endflow,41)}

{redundant(x9,a21,endflow,57), redundant(x15,a21,endflow,57), redundant(x16,a21,endflow,27), redundant(x16,a21,endflow,39), redundant(x16,a21,endflow,48), redundant(x16,a21,a4,20), redundant(x16,a21,a16,21), redundant(x16,a21,a12,29), compObjWrittenByActivityBeforeActivity(x8,a21,endflow,27), compObjWrittenByActivityBeforeActivity(x8,a21,endflow,48), compObjWrittenByActivityBeforeActivity(x8,a21,endflow,57), compObjWrittenByActivityBeforeActivity(x9,a21,endflow,27), compObjWrittenByActivityBeforeActivity(x9,a21,endflow,39), compObjWrittenByActivityBeforeActivity(x9,a21,a3,50), compObjWrittenByActivityBeforeActivity(x15,a21,endflow,27), compObjWrittenByActivityBeforeActivity(x15,a21,endflow,48), compObjWrittenByActivityBeforeActivity(x15,a21,a5,53), compObjWrittenByActivityBeforeActivity(x16,a21,a21,12), compObjWrittenByActivityBeforeActivity(x16,a21,a19,16)}


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

{}

{}

{}