------------------------------------------
{subsActivityBeforeActivity(a11,a11,13)}

{compObjWrittenByActivityBeforeActivity(x15,a8,a8,10)}

{}

{}

{compObjWrittenByActivityBeforeActivity(x20,a11,endflow,24), compObjWrittenByActivityBeforeActivity(x20,a11,endflow,29)}

{redundant(x15,a5,endflow,25), redundant(x15,a5,endflow,31), redundant(x15,a5,endflow,37), redundant(x15,a5,endflow,45), redundant(x15,a5,a2,29), redundant(x18,a5,endflow,25), redundant(x18,a5,endflow,31), redundant(x18,a5,a5,16), redundant(x18,a5,a21,33), compObjWrittenByActivityBeforeActivity(x15,a5,a8,10), compObjWrittenByActivityBeforeActivity(x15,a5,a12,21), compObjWrittenByActivityBeforeActivity(x18,a5,a18,13), compObjWrittenByActivityBeforeActivity(x24,a5,a17,12)}