------------------------------------------
{subsActivityBeforeActivity(a11,a11,9)}

{redundant(x9,a8,endflow,47), redundant(x9,a8,endflow,50), redundant(x9,a8,endflow,52), compObjWrittenByActivityBeforeActivity(x6,a8,a16,27), compObjWrittenByActivityBeforeActivity(x9,a8,a1,31)}

{redundant(x13,a11,endflow,49), redundant(x13,a11,endflow,52), redundant(x16,a11,endflow,49), redundant(x16,a11,endflow,52), redundant(x16,a11,endflow,54), redundant(x16,a11,a14,35), compObjWrittenByActivityBeforeActivity(x13,a11,endflow,54), compObjWrittenByActivityBeforeActivity(x13,a11,a8,8), compObjWrittenByActivityBeforeActivity(x13,a11,a5,47), compObjWrittenByActivityBeforeActivity(x16,a11,a1,33)}

{compObjWrittenByActivityBeforeActivity(x6,a10,a8,28), compObjWrittenByActivityBeforeActivity(x6,a10,a11,11)}


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

{}

{}

{}