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

{compObjWrittenByActivityBeforeActivity(x17,a24,a24,8)}

{}

{redundant(x24,a21,endflow,51), redundant(x24,a21,endflow,66), compObjWrittenByActivityBeforeActivity(x13,a21,a22,39), compObjWrittenByActivityBeforeActivity(x24,a21,a19,43), compObjWrittenByActivityBeforeActivity(x24,a21,a19,58)}