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

{compObjWrittenByActivityBeforeActivity(x21,a11,a11,9)}

{}

{}

{redundant(x1,a8,endflow,31), redundant(x1,a8,endflow,37), redundant(x1,a8,endflow,41), redundant(x1,a8,endflow,43), redundant(x1,a8,a1,39), compObjWrittenByActivityBeforeActivity(x1,a8,a15,28)}