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

{redundant(x15,a22,endflow,39), redundant(x15,a22,endflow,51), redundant(x17,a22,endflow,30), redundant(x17,a22,endflow,39), redundant(x17,a22,a24,34), compObjWrittenByActivityBeforeActivity(x15,a22,endflow,17), compObjWrittenByActivityBeforeActivity(x15,a22,endflow,23), compObjWrittenByActivityBeforeActivity(x15,a22,a9,32), compObjWrittenByActivityBeforeActivity(x15,a22,a5,41), compObjWrittenByActivityBeforeActivity(x17,a22,endflow,17), compObjWrittenByActivityBeforeActivity(x17,a22,endflow,23), compObjWrittenByActivityBeforeActivity(x17,a22,a18,26)}

{compObjWrittenByActivityBeforeActivity(x3,a14,a23,32), compObjWrittenByActivityBeforeActivity(x13,a14,a8,51)}

{compObjWrittenByActivityBeforeActivity(x2,a1,a22,8)}