------------------------------------------
{compObjWrittenByActivityBeforeActivity(x12,a11,a11,8), subsActivityBeforeActivity(a11,a11,8), subsActivityBeforeActivity(a20,a20,9)}

{}

{}

{}

{redundant(x18,a13,endflow,37), redundant(x18,a13,endflow,44), redundant(x18,a13,endflow,60), redundant(x18,a13,endflow,67), compObjWrittenByActivityBeforeActivity(x11,a13,endflow,19), compObjWrittenByActivityBeforeActivity(x11,a13,endflow,32), compObjWrittenByActivityBeforeActivity(x11,a13,endflow,55), compObjWrittenByActivityBeforeActivity(x12,a13,a11,8), compObjWrittenByActivityBeforeActivity(x12,a13,a2,14), compObjWrittenByActivityBeforeActivity(x18,a13,endflow,19), compObjWrittenByActivityBeforeActivity(x18,a13,endflow,32), compObjWrittenByActivityBeforeActivity(x18,a13,endflow,55), compObjWrittenByActivityBeforeActivity(x18,a13,a17,35), compObjWrittenByActivityBeforeActivity(x18,a13,a17,58), compObjWrittenByActivityBeforeActivity(x18,a13,a10,39), compObjWrittenByActivityBeforeActivity(x18,a13,a10,62)}


------------------------------------------
{}

{}

{}

{}

{}