------------------------------------------
{compObjWrittenByActivityBeforeActivity(x7,a24,a24,8), subsActivityBeforeActivity(a11,a11,10)}

{}

{redundant(x4,a11,endflow,34), redundant(x4,a11,endflow,42), redundant(x4,a11,a2,21), redundant(x4,a11,a9,22), compObjWrittenByActivityBeforeActivity(x4,a11,a24,9)}

{redundant(x7,a8,a9,23), compObjWrittenByActivityBeforeActivity(x7,a8,a24,8), compObjWrittenByActivityBeforeActivity(x7,a8,a11,13), compObjWrittenByActivityBeforeActivity(x7,a8,a6,20), compObjWrittenByActivityBeforeActivity(x24,a8,a9,23)}

{redundant(x17,a15,a11,15), redundant(x22,a15,a17,31), redundant(x23,a15,a12,30), compObjWrittenByActivityBeforeActivity(x17,a15,a18,12), compObjWrittenByActivityBeforeActivity(x22,a15,a19,29), compObjWrittenByActivityBeforeActivity(x23,a15,a2,25)}


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

{}

{}

{}

{}