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

{redundant(x12,a7,endflow,32), redundant(x12,a7,endflow,41), redundant(x12,a7,a8,39), compObjWrittenByActivityBeforeActivity(x12,a7,a24,31), compObjWrittenByActivityBeforeActivity(x12,a7,a4,34), compObjWrittenByActivityBeforeActivity(x16,a7,endflow,32), compObjWrittenByActivityBeforeActivity(x16,a7,endflow,41)}

{}

{redundant(x20,a18,endflow,16), redundant(x20,a18,endflow,20), redundant(x20,a18,endflow,34), redundant(x20,a18,endflow,45), redundant(x20,a18,a18,10), redundant(x24,a18,endflow,28), compObjWrittenByActivityBeforeActivity(x10,a18,endflow,34), compObjWrittenByActivityBeforeActivity(x10,a18,endflow,45), compObjWrittenByActivityBeforeActivity(x10,a18,a18,10), compObjWrittenByActivityBeforeActivity(x16,a18,endflow,16), compObjWrittenByActivityBeforeActivity(x16,a18,endflow,20), compObjWrittenByActivityBeforeActivity(x16,a18,endflow,28), compObjWrittenByActivityBeforeActivity(x16,a18,a7,33), compObjWrittenByActivityBeforeActivity(x16,a18,a7,44), compObjWrittenByActivityBeforeActivity(x20,a18,a20,7), compObjWrittenByActivityBeforeActivity(x24,a18,endflow,16), compObjWrittenByActivityBeforeActivity(x24,a18,endflow,20), compObjWrittenByActivityBeforeActivity(x24,a18,endflow,34), compObjWrittenByActivityBeforeActivity(x24,a18,a9,23)}


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

{}

{}

{}