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

{}

{compObjWrittenByActivityBeforeActivity(x5,a40,a15,9)}

{}

{}

{redundant(x25,a32,endflow,22), redundant(x25,a32,endflow,26), redundant(x25,a32,endflow,31), redundant(x25,a32,endflow,45), redundant(x25,a32,endflow,57), redundant(x25,a32,endflow,62), redundant(x25,a32,endflow,65), redundant(x25,a32,endflow,73), redundant(x25,a32,endflow,78), redundant(x25,a32,endflow,81), redundant(x25,a32,endflow,85), redundant(x25,a32,a20,28), redundant(x25,a32,a27,59), redundant(x25,a32,a27,75), compObjWrittenByActivityBeforeActivity(x13,a32,endflow,22), compObjWrittenByActivityBeforeActivity(x13,a32,endflow,26), compObjWrittenByActivityBeforeActivity(x13,a32,endflow,31), compObjWrittenByActivityBeforeActivity(x23,a32,endflow,22), compObjWrittenByActivityBeforeActivity(x23,a32,endflow,26), compObjWrittenByActivityBeforeActivity(x23,a32,endflow,31), compObjWrittenByActivityBeforeActivity(x25,a32,a14,13), compObjWrittenByActivityBeforeActivity(x36,a32,endflow,22), compObjWrittenByActivityBeforeActivity(x36,a32,endflow,26), compObjWrittenByActivityBeforeActivity(x36,a32,endflow,31), compObjWrittenByActivityBeforeActivity(x36,a32,endflow,45), compObjWrittenByActivityBeforeActivity(x36,a32,endflow,57), compObjWrittenByActivityBeforeActivity(x36,a32,endflow,62), compObjWrittenByActivityBeforeActivity(x36,a32,endflow,65), compObjWrittenByActivityBeforeActivity(x36,a32,endflow,73), compObjWrittenByActivityBeforeActivity(x36,a32,endflow,78), compObjWrittenByActivityBeforeActivity(x36,a32,endflow,81), compObjWrittenByActivityBeforeActivity(x36,a32,endflow,85)}