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

{}

{}

{redundant(x3,a5,endflow,20), redundant(x3,a5,endflow,25), redundant(x3,a5,endflow,32), redundant(x3,a5,endflow,42), redundant(x20,a5,endflow,20), redundant(x20,a5,endflow,25), redundant(x20,a5,endflow,32), redundant(x20,a5,endflow,39), redundant(x20,a5,endflow,42), redundant(x20,a5,a15,23), compObjWrittenByActivityBeforeActivity(x3,a5,a16,18), compObjWrittenByActivityBeforeActivity(x16,a5,endflow,20), compObjWrittenByActivityBeforeActivity(x16,a5,endflow,25), compObjWrittenByActivityBeforeActivity(x16,a5,endflow,32), compObjWrittenByActivityBeforeActivity(x16,a5,endflow,39), compObjWrittenByActivityBeforeActivity(x16,a5,endflow,42), compObjWrittenByActivityBeforeActivity(x20,a5,a7,16)}


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

{}

{}

{}