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

{compObjWrittenByActivityBeforeActivity(x4,a23,endflow,19)}

{redundant(x18,a13,endflow,33), redundant(x18,a13,endflow,37), redundant(x18,a13,endflow,46), redundant(x18,a13,endflow,50), redundant(x18,a13,a6,41), compObjWrittenByActivityBeforeActivity(x18,a13,endflow,20), compObjWrittenByActivityBeforeActivity(x18,a13,a15,29), compObjWrittenByActivityBeforeActivity(x18,a13,a10,39)}