------------------------------------------
{subsActivityBeforeActivity(a16,a16,7)}

{redundant(x20,a16,endflow,75), redundant(x20,a16,endflow,78), redundant(x20,a16,endflow,80), redundant(x24,a16,endflow,35), redundant(x24,a16,endflow,38), redundant(x24,a16,endflow,40), redundant(x24,a16,a24,37), compObjWrittenByActivityBeforeActivity(x20,a16,endflow,35), compObjWrittenByActivityBeforeActivity(x20,a16,endflow,38), compObjWrittenByActivityBeforeActivity(x20,a16,endflow,40), compObjWrittenByActivityBeforeActivity(x20,a16,endflow,53), compObjWrittenByActivityBeforeActivity(x20,a16,endflow,56), compObjWrittenByActivityBeforeActivity(x20,a16,endflow,58), compObjWrittenByActivityBeforeActivity(x20,a16,a11,63), compObjWrittenByActivityBeforeActivity(x24,a16,a16,8), compObjWrittenByActivityBeforeActivity(x24,a16,a8,29)}

{redundant(x1,a9,a10,73), compObjWrittenByActivityBeforeActivity(x1,a9,a4,6), compObjWrittenByActivityBeforeActivity(x5,a9,endflow,38), compObjWrittenByActivityBeforeActivity(x5,a9,endflow,42), compObjWrittenByActivityBeforeActivity(x5,a9,endflow,45), compObjWrittenByActivityBeforeActivity(x5,a9,endflow,59), compObjWrittenByActivityBeforeActivity(x5,a9,endflow,63), compObjWrittenByActivityBeforeActivity(x5,a9,endflow,66), compObjWrittenByActivityBeforeActivity(x16,a9,a14,28), compObjWrittenByActivityBeforeActivity(x16,a9,a14,50), compObjWrittenByActivityBeforeActivity(x16,a9,a14,76)}