------------------------------------------
{subsActivityBeforeActivity(a21,a21,11)}

{}

{}

{redundant(x12,a21,endflow,23), redundant(x12,a21,endflow,35), redundant(x12,a21,endflow,40), redundant(x12,a21,endflow,43), redundant(x12,a21,a18,42), redundant(x21,a21,endflow,23), compObjWrittenByActivityBeforeActivity(x4,a21,a2,19), compObjWrittenByActivityBeforeActivity(x12,a21,a20,17), compObjWrittenByActivityBeforeActivity(x21,a21,endflow,29), compObjWrittenByActivityBeforeActivity(x21,a21,endflow,35), compObjWrittenByActivityBeforeActivity(x21,a21,endflow,40), compObjWrittenByActivityBeforeActivity(x21,a21,endflow,43), compObjWrittenByActivityBeforeActivity(x21,a21,a12,22)}

{redundant(x10,a1,endflow,26), redundant(x10,a1,endflow,33), redundant(x19,a1,endflow,26), redundant(x19,a1,endflow,33), redundant(x19,a1,a12,25), compObjWrittenByActivityBeforeActivity(x10,a1,a5,23), compObjWrittenByActivityBeforeActivity(x19,a1,a2,21), compObjWrittenByActivityBeforeActivity(x23,a1,a22,16)}