------------------------------------------
{compObjWrittenByActivityBeforeActivity(x3,a25,a25,6), subsActivityBeforeActivity(a25,a25,6)}

{}

{redundant(x4,a2,endflow,23), redundant(x4,a2,a15,15), redundant(x25,a2,endflow,17), redundant(x25,a2,endflow,23), redundant(x25,a2,a23,22), compObjWrittenByActivityBeforeActivity(x4,a2,a7,14), compObjWrittenByActivityBeforeActivity(x15,a2,endflow,17), compObjWrittenByActivityBeforeActivity(x15,a2,a2,10), compObjWrittenByActivityBeforeActivity(x25,a2,a7,14)}


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

{}

{}