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

{}

{redundant(x20,a3,endflow,52), redundant(x20,a3,endflow,61), compObjWrittenByActivityBeforeActivity(x20,a3,endflow,26), compObjWrittenByActivityBeforeActivity(x20,a3,endflow,43), compObjWrittenByActivityBeforeActivity(x20,a3,a15,46), compObjWrittenByActivityBeforeActivity(x20,a3,a23,55), compObjWrittenByActivityBeforeActivity(x21,a3,endflow,26), compObjWrittenByActivityBeforeActivity(x21,a3,endflow,36), compObjWrittenByActivityBeforeActivity(x21,a3,endflow,43), compObjWrittenByActivityBeforeActivity(x21,a3,endflow,52), compObjWrittenByActivityBeforeActivity(x21,a3,endflow,61)}

{redundant(x15,a13,a11,33), compObjWrittenByActivityBeforeActivity(x15,a13,a20,19)}

{compObjWrittenByActivityBeforeActivity(x15,a19,a13,19), compObjWrittenByActivityBeforeActivity(x15,a19,a19,14), compObjWrittenByActivityBeforeActivity(x15,a19,a19,25), compObjWrittenByActivityBeforeActivity(x15,a19,a19,37), compObjWrittenByActivityBeforeActivity(x15,a19,a19,45), compObjWrittenByActivityBeforeActivity(x15,a19,a19,57), compObjWrittenByActivityBeforeActivity(x15,a19,a19,68), compObjWrittenByActivityBeforeActivity(x22,a19,a14,10)}

{redundant(x13,a16,a24,57), redundant(x18,a16,a19,16), compObjWrittenByActivityBeforeActivity(x13,a16,a10,36), compObjWrittenByActivityBeforeActivity(x18,a16,a3,13)}