------------------------------------------
{subsActivityBeforeActivity(a7,a7,11)}

{}

{redundant(x13,a23,endflow,37), redundant(x13,a23,endflow,42), redundant(x13,a23,endflow,46), redundant(x13,a23,endflow,49), redundant(x13,a23,endflow,61), redundant(x13,a23,endflow,66), redundant(x13,a23,endflow,70), redundant(x13,a23,endflow,73), redundant(x13,a23,a2,58), redundant(x13,a23,a6,41), redundant(x13,a23,a6,65), redundant(x19,a23,endflow,37), redundant(x19,a23,endflow,42), redundant(x19,a23,endflow,46), redundant(x19,a23,endflow,49), redundant(x19,a23,endflow,61), redundant(x19,a23,endflow,66), redundant(x19,a23,endflow,70), redundant(x19,a23,endflow,73), redundant(x19,a23,a12,30), redundant(x19,a23,a21,56), compObjWrittenByActivityBeforeActivity(x4,a23,endflow,37), compObjWrittenByActivityBeforeActivity(x4,a23,endflow,42), compObjWrittenByActivityBeforeActivity(x4,a23,endflow,46), compObjWrittenByActivityBeforeActivity(x4,a23,endflow,49), compObjWrittenByActivityBeforeActivity(x4,a23,a8,54), compObjWrittenByActivityBeforeActivity(x13,a23,a16,52), compObjWrittenByActivityBeforeActivity(x13,a23,a2,34), compObjWrittenByActivityBeforeActivity(x19,a23,a4,8), compObjWrittenByActivityBeforeActivity(x20,a23,a12,30)}

{redundant(x9,a7,endflow,41), redundant(x9,a7,endflow,47), redundant(x9,a7,endflow,52), redundant(x9,a7,endflow,56), compObjWrittenByActivityBeforeActivity(x9,a7,a15,10), compObjWrittenByActivityBeforeActivity(x20,a7,a23,31)}

{redundant(x7,a2,a3,60), redundant(x7,a2,a17,63), compObjWrittenByActivityBeforeActivity(x7,a2,a13,35)}