------------------------------------------
{subsActivityBeforeActivity(a12,a12,7)}

{redundant(x1,a12,endflow,30), redundant(x1,a12,endflow,41), redundant(x1,a12,endflow,57), redundant(x1,a12,a19,26), redundant(x1,a12,a19,37), redundant(x1,a12,a19,53), redundant(x7,a12,a13,34), redundant(x7,a12,a11,43), compObjWrittenByActivityBeforeActivity(x1,a12,a23,14), compObjWrittenByActivityBeforeActivity(x4,a12,a13,34), compObjWrittenByActivityBeforeActivity(x7,a12,a20,33)}

{compObjWrittenByActivityBeforeActivity(x11,a2,a1,25), compObjWrittenByActivityBeforeActivity(x16,a2,a19,18), compObjWrittenByActivityBeforeActivity(x16,a2,a19,27), compObjWrittenByActivityBeforeActivity(x16,a2,a19,40)}