------------------------------------------
{compObjWrittenByActivityBeforeActivity(x7,a24,a24,8), subsActivityBeforeActivity(a24,a24,8)}

{}

{}

{}

{redundant(x23,a5,endflow,43), redundant(x23,a5,endflow,50), redundant(x23,a5,endflow,60), redundant(x23,a5,endflow,67), compObjWrittenByActivityBeforeActivity(x23,a5,endflow,21), compObjWrittenByActivityBeforeActivity(x23,a5,endflow,29), compObjWrittenByActivityBeforeActivity(x23,a5,endflow,36), compObjWrittenByActivityBeforeActivity(x23,a5,a8,38)}


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

{}

{}

{}

{}