------------------------------------------
{subsActivityBeforeActivity(a13,a13,8), subsActivityBeforeActivity(a9,a9,9)}

{}

{}

{redundant(x3,a14,endflow,23), redundant(x3,a14,endflow,28), redundant(x3,a14,endflow,35), redundant(x3,a14,endflow,46), redundant(x3,a14,a4,39), redundant(x9,a14,endflow,23), redundant(x9,a14,endflow,28), redundant(x9,a14,endflow,35), redundant(x9,a14,endflow,46), redundant(x9,a14,a25,31), compObjWrittenByActivityBeforeActivity(x3,a14,a21,20), compObjWrittenByActivityBeforeActivity(x9,a14,a13,9), compObjWrittenByActivityBeforeActivity(x13,a14,endflow,23), compObjWrittenByActivityBeforeActivity(x13,a14,endflow,28), compObjWrittenByActivityBeforeActivity(x13,a14,endflow,35), compObjWrittenByActivityBeforeActivity(x13,a14,endflow,46)}

{redundant(x21,a17,a25,35), compObjWrittenByActivityBeforeActivity(x12,a17,a11,36), compObjWrittenByActivityBeforeActivity(x17,a17,a17,15), compObjWrittenByActivityBeforeActivity(x21,a17,a7,13)}