------------------------------------------
{compObjWrittenByActivityBeforeActivity(x8,a9,a9,6)}

{}

{redundant(x21,a7,endflow,48), redundant(x21,a7,endflow,62), compObjWrittenByActivityBeforeActivity(x21,a7,a6,44), compObjWrittenByActivityBeforeActivity(x21,a7,a6,58)}


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

{}

{}