------------------------------------------
{subsActivityBeforeActivity(a24,a24,12)}

{}

{}

{}

{redundant(x22,a24,endflow,37), redundant(x22,a24,endflow,43), redundant(x24,a24,endflow,41), redundant(x24,a24,endflow,43), compObjWrittenByActivityBeforeActivity(x4,a24,a4,31), compObjWrittenByActivityBeforeActivity(x22,a24,a4,31), compObjWrittenByActivityBeforeActivity(x24,a24,a1,11)}