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

{}

{}

{redundant(x1,a5,endflow,42), redundant(x5,a5,endflow,59), redundant(x5,a5,endflow,62), redundant(x5,a5,a20,61), redundant(x24,a5,endflow,47), redundant(x24,a5,endflow,59), redundant(x24,a5,endflow,62), compObjWrittenByActivityBeforeActivity(x1,a5,a13,9), compObjWrittenByActivityBeforeActivity(x5,a5,endflow,42), compObjWrittenByActivityBeforeActivity(x5,a5,a10,56), compObjWrittenByActivityBeforeActivity(x6,a5,endflow,42), compObjWrittenByActivityBeforeActivity(x6,a5,endflow,47), compObjWrittenByActivityBeforeActivity(x24,a5,a8,45)}


------------------------------------------
{}

{}

{}

{}