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

{redundant(x22,a4,endflow,46), redundant(x22,a4,endflow,73), redundant(x22,a4,a22,70), compObjWrittenByActivityBeforeActivity(x22,a4,a6,62), compObjWrittenByActivityBeforeActivity(x22,a4,a22,43)}

{redundant(x13,a3,a12,66), compObjWrittenByActivityBeforeActivity(x13,a3,a5,65)}

{compObjWrittenByActivityBeforeActivity(x13,a1,a3,65)}

{compObjWrittenByActivityBeforeActivity(x11,a14,a3,11), compObjWrittenByActivityBeforeActivity(x11,a14,a3,39), compObjWrittenByActivityBeforeActivity(x11,a14,a3,70)}

{}