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

{}

{}

{redundant(x6,a16,endflow,29), redundant(x6,a16,endflow,40), redundant(x6,a16,a9,23), redundant(x9,a16,endflow,29), redundant(x9,a16,endflow,40), redundant(x9,a16,endflow,51), redundant(x9,a16,endflow,59), redundant(x9,a16,a23,44), redundant(x9,a16,a12,26), redundant(x9,a16,a12,37), redundant(x9,a16,a12,48), redundant(x9,a16,a12,56), compObjWrittenByActivityBeforeActivity(x4,a16,endflow,29), compObjWrittenByActivityBeforeActivity(x4,a16,endflow,40), compObjWrittenByActivityBeforeActivity(x4,a16,a25,42), compObjWrittenByActivityBeforeActivity(x6,a16,endflow,18), compObjWrittenByActivityBeforeActivity(x6,a16,a5,21), compObjWrittenByActivityBeforeActivity(x9,a16,endflow,18), compObjWrittenByActivityBeforeActivity(x9,a16,a9,23), compObjWrittenByActivityBeforeActivity(x9,a16,a18,31)}


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

{}

{}

{}