------------------------------------------
{subsActivityBeforeActivity(a2,a2,7), subsActivityBeforeActivity(a4,a4,9)}

{}

{redundant(x5,a4,endflow,36), redundant(x5,a4,endflow,40), redundant(x5,a4,endflow,63), redundant(x5,a4,endflow,67), redundant(x5,a4,a20,28), redundant(x5,a4,a20,55), redundant(x20,a4,endflow,23), redundant(x20,a4,endflow,50), redundant(x24,a4,endflow,63), redundant(x24,a4,endflow,67), compObjWrittenByActivityBeforeActivity(x5,a4,endflow,23), compObjWrittenByActivityBeforeActivity(x5,a4,endflow,50), compObjWrittenByActivityBeforeActivity(x5,a4,a21,27), compObjWrittenByActivityBeforeActivity(x5,a4,a21,54), compObjWrittenByActivityBeforeActivity(x20,a4,a12,9), compObjWrittenByActivityBeforeActivity(x24,a4,endflow,50), compObjWrittenByActivityBeforeActivity(x24,a4,a4,11), compObjWrittenByActivityBeforeActivity(x24,a4,a22,16), compObjWrittenByActivityBeforeActivity(x24,a4,a5,59)}

{compObjWrittenByActivityBeforeActivity(x10,a19,a15,17)}


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

{}

{}

{}