------------------------------------------
{subsActivityBeforeActivity(a22,a22,9)}

{}

{}

{redundant(x19,a17,endflow,18), redundant(x19,a17,endflow,27), redundant(x19,a17,endflow,37), redundant(x19,a17,endflow,40), redundant(x19,a17,a25,29), redundant(x19,a17,a16,42), compObjWrittenByActivityBeforeActivity(x19,a17,a22,10)}

{redundant(x4,a13,endflow,28), redundant(x4,a13,endflow,38), redundant(x4,a13,endflow,44), compObjWrittenByActivityBeforeActivity(x2,a13,endflow,19), compObjWrittenByActivityBeforeActivity(x2,a13,endflow,28), compObjWrittenByActivityBeforeActivity(x4,a13,endflow,19), compObjWrittenByActivityBeforeActivity(x4,a13,a6,21), compObjWrittenByActivityBeforeActivity(x5,a13,endflow,28), compObjWrittenByActivityBeforeActivity(x5,a13,endflow,41), compObjWrittenByActivityBeforeActivity(x5,a13,endflow,44), compObjWrittenByActivityBeforeActivity(x18,a13,endflow,19)}