------------------------------------------
{subsActivityBeforeActivity(a14,a14,8), subsActivityBeforeActivity(a19,a19,12)}

{}

{}

{redundant(x10,a12,endflow,24), redundant(x10,a12,endflow,30), redundant(x10,a12,endflow,35), redundant(x10,a12,endflow,41), redundant(x10,a12,endflow,44), redundant(x10,a12,a1,26), redundant(x10,a12,a18,43), compObjWrittenByActivityBeforeActivity(x10,a12,a25,21)}

{redundant(x9,a19,endflow,25), redundant(x9,a19,endflow,31), redundant(x9,a19,endflow,36), redundant(x9,a19,endflow,45), redundant(x9,a19,a7,33), compObjWrittenByActivityBeforeActivity(x8,a19,endflow,36), compObjWrittenByActivityBeforeActivity(x8,a19,endflow,42), compObjWrittenByActivityBeforeActivity(x8,a19,endflow,45), compObjWrittenByActivityBeforeActivity(x9,a19,a21,18)}