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

{}

{}

{}

{redundant(x22,a6,endflow,43), redundant(x22,a6,endflow,49), redundant(x22,a6,endflow,56), redundant(x22,a6,endflow,61), redundant(x22,a6,endflow,74), redundant(x22,a6,endflow,81), redundant(x22,a6,a20,45), redundant(x22,a6,a3,54), redundant(x22,a6,a3,79), redundant(x25,a6,endflow,81), compObjWrittenByActivityBeforeActivity(x22,a6,endflow,68), compObjWrittenByActivityBeforeActivity(x22,a6,endflow,86), compObjWrittenByActivityBeforeActivity(x22,a6,a23,39), compObjWrittenByActivityBeforeActivity(x22,a6,a20,70), compObjWrittenByActivityBeforeActivity(x25,a6,endflow,68), compObjWrittenByActivityBeforeActivity(x25,a6,endflow,74), compObjWrittenByActivityBeforeActivity(x25,a6,endflow,86), compObjWrittenByActivityBeforeActivity(x25,a6,a6,14), compObjWrittenByActivityBeforeActivity(x25,a6,a1,78)}

{}