------------------------------------------
{subsActivityBeforeActivity(a16,a16,11), subsActivityBeforeActivity(a12,a12,12)}

{}

{compObjWrittenByActivityBeforeActivity(x25,a16,endflow,44), compObjWrittenByActivityBeforeActivity(x25,a16,endflow,50), compObjWrittenByActivityBeforeActivity(x25,a16,endflow,53), compObjWrittenByActivityBeforeActivity(x25,a16,endflow,55), compObjWrittenByActivityBeforeActivity(x25,a16,endflow,70), compObjWrittenByActivityBeforeActivity(x25,a16,endflow,76), compObjWrittenByActivityBeforeActivity(x25,a16,endflow,79), compObjWrittenByActivityBeforeActivity(x25,a16,endflow,81), compObjWrittenByActivityBeforeActivity(x25,a16,a16,12)}

{redundant(x2,a12,endflow,46), redundant(x2,a12,endflow,53), redundant(x2,a12,endflow,57), redundant(x2,a12,endflow,60), redundant(x2,a12,endflow,83), redundant(x2,a12,endflow,87), redundant(x2,a12,endflow,90), redundant(x2,a12,a13,49), redundant(x2,a12,a23,55), redundant(x2,a12,a23,85), compObjWrittenByActivityBeforeActivity(x2,a12,endflow,76), compObjWrittenByActivityBeforeActivity(x2,a12,a20,37), compObjWrittenByActivityBeforeActivity(x2,a12,a13,79), compObjWrittenByActivityBeforeActivity(x22,a12,a10,10)}

{}

{compObjWrittenByActivityBeforeActivity(x22,a24,a12,10)}


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

{}

{}

{}

{}

{}