------------------------------------------
{compObjWrittenByActivityBeforeActivity(x22,a22,a22,7)}

{}

{redundant(x7,a5,endflow,64), redundant(x7,a5,endflow,72), redundant(x7,a5,endflow,77), redundant(x7,a5,endflow,82), redundant(x7,a5,a25,70), redundant(x7,a5,a25,75), redundant(x7,a5,a25,80), redundant(x14,a5,endflow,55), redundant(x14,a5,a24,52), compObjWrittenByActivityBeforeActivity(x1,a5,endflow,55), compObjWrittenByActivityBeforeActivity(x7,a5,a21,48), compObjWrittenByActivityBeforeActivity(x14,a5,a16,47)}

{compObjWrittenByActivityBeforeActivity(x11,a21,a21,11)}


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

{}

{}

{}