------------------------------------------
{subsActivityBeforeActivity(a16,a16,11), subsActivityBeforeActivity(a16,a16,37), subsActivityBeforeActivity(a3,a3,12), subsActivityBeforeActivity(a3,a3,38), subsActivityBeforeActivity(a6,a6,13), subsActivityBeforeActivity(a6,a6,39)}

{redundant(x7,a12,endflow,48), redundant(x7,a12,endflow,58), redundant(x7,a12,a17,57), compObjWrittenByActivityBeforeActivity(x7,a12,a16,41)}

{compObjWrittenByActivityBeforeActivity(x6,a16,a12,10), compObjWrittenByActivityBeforeActivity(x17,a16,a19,33)}

{compObjWrittenByActivityBeforeActivity(x6,a3,a16,10), compObjWrittenByActivityBeforeActivity(x17,a3,a16,34)}

{redundant(x10,a6,a8,41), redundant(x10,a6,a18,43), compObjWrittenByActivityBeforeActivity(x10,a6,a4,40), compObjWrittenByActivityBeforeActivity(x14,a6,a25,34), compObjWrittenByActivityBeforeActivity(x14,a6,a16,14)}

{}


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

{}

{}

{}

{}

{}