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

{}

{redundant(x1,a19,endflow,48), redundant(x1,a19,endflow,58), redundant(x1,a19,endflow,62), redundant(x1,a19,a4,50), redundant(x2,a19,endflow,48), redundant(x2,a19,endflow,58), redundant(x2,a19,endflow,62), redundant(x22,a19,a18,36), compObjWrittenByActivityBeforeActivity(x1,a19,a23,6), compObjWrittenByActivityBeforeActivity(x2,a19,a12,39), compObjWrittenByActivityBeforeActivity(x22,a19,a2,7)}


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

{}

{}