------------------------------------------
{compObjWrittenByActivityBeforeActivity(x6,a5,a5,11), subsActivityBeforeActivity(a4,a4,12), subsActivityBeforeActivity(a18,a18,17), subsActivityBeforeActivity(a18,a18,40), subsActivityBeforeActivity(a18,a18,47), subsActivityBeforeActivity(a18,a18,54), subsActivityBeforeActivity(a18,a18,64)}

{}

{}

{}

{redundant(x27,a20,endflow,46), redundant(x27,a20,endflow,54), redundant(x27,a20,endflow,62), redundant(x27,a20,a40,48), compObjWrittenByActivityBeforeActivity(x16,a20,endflow,46), compObjWrittenByActivityBeforeActivity(x16,a20,endflow,54), compObjWrittenByActivityBeforeActivity(x16,a20,endflow,62), compObjWrittenByActivityBeforeActivity(x27,a20,a34,33), compObjWrittenByActivityBeforeActivity(x31,a20,a19,28)}

{compObjWrittenByActivityBeforeActivity(x13,a6,a29,16), compObjWrittenByActivityBeforeActivity(x25,a6,a6,18), compObjWrittenByActivityBeforeActivity(x27,a6,a20,34)}

{compObjWrittenByActivityBeforeActivity(x3,a18,a6,20)}

{compObjWrittenByActivityBeforeActivity(x4,a32,a7,33)}