------------------------------------------
{compObjWrittenByActivityBeforeActivity(x16,a1,a1,8)}

{}

{}

{redundant(x15,a12,endflow,34), redundant(x15,a12,endflow,38), redundant(x15,a12,endflow,50), redundant(x15,a12,endflow,54), redundant(x19,a12,a19,24), compObjWrittenByActivityBeforeActivity(x8,a12,a3,25), compObjWrittenByActivityBeforeActivity(x15,a12,a4,27), compObjWrittenByActivityBeforeActivity(x15,a12,a4,43), compObjWrittenByActivityBeforeActivity(x19,a12,a20,10)}

{}


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

{}

{}

{}

{}