------------------------------------------
{subsActivityBeforeActivity(a31,a31,14)}

{}

{compObjWrittenByActivityBeforeActivity(x4,a35,a30,10)}

{compObjWrittenByActivityBeforeActivity(x4,a28,a35,10), compObjWrittenByActivityBeforeActivity(x31,a28,a9,9)}

{}

{redundant(x8,a31,endflow,52), redundant(x8,a31,endflow,56), redundant(x8,a31,endflow,92), redundant(x8,a31,endflow,96), redundant(x8,a31,a16,35), redundant(x8,a31,a3,47), redundant(x8,a31,a3,87), redundant(x13,a31,endflow,52), redundant(x13,a31,endflow,56), redundant(x13,a31,endflow,70), redundant(x13,a31,endflow,74), redundant(x13,a31,endflow,92), redundant(x13,a31,endflow,96), redundant(x13,a31,endflow,110), redundant(x13,a31,endflow,114), compObjWrittenByActivityBeforeActivity(x8,a31,a21,34), compObjWrittenByActivityBeforeActivity(x13,a31,a3,47), compObjWrittenByActivityBeforeActivity(x13,a31,a3,65), compObjWrittenByActivityBeforeActivity(x13,a31,a3,87), compObjWrittenByActivityBeforeActivity(x13,a31,a3,105)}