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

{compObjWrittenByActivityBeforeActivity(x32,a28,a2,9)}

{compObjWrittenByActivityBeforeActivity(x17,a10,a2,10)}

{}

{}

{redundant(x10,a14,endflow,34), redundant(x10,a14,endflow,55), redundant(x10,a14,endflow,64), redundant(x10,a14,a19,52), redundant(x10,a14,a19,61), compObjWrittenByActivityBeforeActivity(x10,a14,a9,38), compObjWrittenByActivityBeforeActivity(x10,a14,a19,31)}