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

{}

{redundant(x5,a3,endflow,52), redundant(x5,a3,endflow,56), redundant(x5,a3,a10,48), redundant(x22,a3,endflow,26), redundant(x22,a3,endflow,30), redundant(x22,a3,endflow,37), redundant(x22,a3,endflow,41), redundant(x22,a3,endflow,52), redundant(x22,a3,endflow,56), redundant(x22,a3,endflow,62), redundant(x22,a3,endflow,66), redundant(x22,a3,a3,10), redundant(x22,a3,a4,33), redundant(x22,a3,a7,34), redundant(x22,a3,a13,59), compObjWrittenByActivityBeforeActivity(x5,a3,endflow,26), compObjWrittenByActivityBeforeActivity(x5,a3,endflow,30), compObjWrittenByActivityBeforeActivity(x5,a3,endflow,37), compObjWrittenByActivityBeforeActivity(x5,a3,endflow,41), compObjWrittenByActivityBeforeActivity(x5,a3,a14,45), compObjWrittenByActivityBeforeActivity(x22,a3,a23,8)}

{}