------------------------------------------
{compObjWrittenByActivityBeforeActivity(x11,a14,a14,8), subsActivityBeforeActivity(a14,a14,8)}

{}

{compObjWrittenByActivityBeforeActivity(x23,a1,a17,11)}

{}

{redundant(x3,a11,endflow,27), redundant(x3,a11,endflow,35), redundant(x3,a11,endflow,40), redundant(x3,a11,endflow,48), redundant(x3,a11,endflow,56), compObjWrittenByActivityBeforeActivity(x3,a11,a2,25), compObjWrittenByActivityBeforeActivity(x3,a11,a2,33), compObjWrittenByActivityBeforeActivity(x3,a11,a2,38), compObjWrittenByActivityBeforeActivity(x3,a11,a2,46), compObjWrittenByActivityBeforeActivity(x3,a11,a2,54), compObjWrittenByActivityBeforeActivity(x13,a11,endflow,27), compObjWrittenByActivityBeforeActivity(x13,a11,endflow,35), compObjWrittenByActivityBeforeActivity(x13,a11,endflow,40), compObjWrittenByActivityBeforeActivity(x13,a11,endflow,48), compObjWrittenByActivityBeforeActivity(x13,a11,endflow,56)}