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

{compObjWrittenByActivityBeforeActivity(x11,a6,a6,9)}

{compObjWrittenByActivityBeforeActivity(x22,a21,a21,11)}

{}

{redundant(x16,a25,endflow,30), redundant(x16,a25,endflow,35), redundant(x16,a25,endflow,38), redundant(x16,a25,endflow,46), redundant(x16,a25,endflow,51), redundant(x16,a25,endflow,54), compObjWrittenByActivityBeforeActivity(x16,a25,a6,10), compObjWrittenByActivityBeforeActivity(x22,a25,a21,11), compObjWrittenByActivityBeforeActivity(x22,a25,a3,13)}