------------------------------------------
{compObjWrittenByActivityBeforeActivity(x11,a25,a25,8), compObjWrittenByActivityBeforeActivity(x23,a25,a25,8), subsActivityBeforeActivity(a2,a2,11)}

{compObjWrittenByActivityBeforeActivity(x23,a15,a25,9)}

{}

{redundant(x11,a2,endflow,31), redundant(x11,a2,endflow,42), redundant(x11,a2,endflow,53), redundant(x11,a2,endflow,64), redundant(x11,a2,a19,41), redundant(x11,a2,a19,52), redundant(x11,a2,a19,63), redundant(x25,a2,endflow,31), redundant(x25,a2,endflow,42), compObjWrittenByActivityBeforeActivity(x11,a2,a25,8), compObjWrittenByActivityBeforeActivity(x11,a2,a24,35), compObjWrittenByActivityBeforeActivity(x11,a2,a7,47), compObjWrittenByActivityBeforeActivity(x11,a2,a7,58), compObjWrittenByActivityBeforeActivity(x11,a2,a19,30), compObjWrittenByActivityBeforeActivity(x25,a2,a18,46), compObjWrittenByActivityBeforeActivity(x25,a2,a18,57), compObjWrittenByActivityBeforeActivity(x25,a2,a11,26), compObjWrittenByActivityBeforeActivity(x25,a2,a11,37)}

{compObjWrittenByActivityBeforeActivity(x18,a11,a8,14)}


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

{}

{}

{}

{}