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

{}

{redundant(x10,a12,endflow,41), redundant(x10,a12,endflow,48), redundant(x10,a12,a15,45), compObjWrittenByActivityBeforeActivity(x10,a12,endflow,33), compObjWrittenByActivityBeforeActivity(x10,a12,endflow,53), compObjWrittenByActivityBeforeActivity(x10,a12,a6,36), compObjWrittenByActivityBeforeActivity(x14,a12,endflow,23), compObjWrittenByActivityBeforeActivity(x14,a12,endflow,33), compObjWrittenByActivityBeforeActivity(x14,a12,endflow,41), compObjWrittenByActivityBeforeActivity(x14,a12,endflow,48), compObjWrittenByActivityBeforeActivity(x14,a12,endflow,53), compObjWrittenByActivityBeforeActivity(x22,a12,endflow,23), compObjWrittenByActivityBeforeActivity(x22,a12,endflow,53), compObjWrittenByActivityBeforeActivity(x22,a12,a2,25)}

{redundant(x2,a11,endflow,25), redundant(x2,a11,endflow,38), redundant(x2,a11,endflow,48), redundant(x2,a11,endflow,56), redundant(x5,a11,endflow,25), redundant(x5,a11,endflow,64), redundant(x5,a11,a21,58), redundant(x5,a11,a25,22), redundant(x5,a11,a25,60), compObjWrittenByActivityBeforeActivity(x2,a11,endflow,64), compObjWrittenByActivityBeforeActivity(x2,a11,a7,18), compObjWrittenByActivityBeforeActivity(x5,a11,a5,10)}

{}


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

{}

{}

{}

{}