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

{}

{redundant(x12,a7,a12,9), compObjWrittenByActivityBeforeActivity(x12,a7,a6,8), compObjWrittenByActivityBeforeActivity(x19,a7,a7,10)}

{}

{redundant(x6,a19,endflow,24), redundant(x6,a19,endflow,31), redundant(x6,a19,endflow,39), redundant(x23,a19,endflow,31), redundant(x23,a19,endflow,39), redundant(x23,a19,endflow,42), redundant(x23,a19,a18,28), redundant(x24,a19,endflow,24), redundant(x24,a19,endflow,31), redundant(x24,a19,endflow,42), compObjWrittenByActivityBeforeActivity(x6,a19,a19,14), compObjWrittenByActivityBeforeActivity(x6,a19,a25,17), compObjWrittenByActivityBeforeActivity(x23,a19,endflow,24), compObjWrittenByActivityBeforeActivity(x23,a19,a8,26), compObjWrittenByActivityBeforeActivity(x24,a19,a3,22)}