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

{compObjWrittenByActivityBeforeActivity(x22,a14,a14,9)}

{}

{redundant(x12,a12,endflow,23), redundant(x12,a12,endflow,30), redundant(x12,a12,endflow,38), redundant(x12,a12,endflow,49), redundant(x12,a12,endflow,56), redundant(x12,a12,endflow,67), redundant(x12,a12,a2,19), redundant(x12,a12,a6,42), redundant(x12,a12,a6,60), compObjWrittenByActivityBeforeActivity(x12,a12,a15,11)}