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

{}

{}

{redundant(x5,a16,endflow,27), redundant(x5,a16,endflow,36), redundant(x5,a16,endflow,51), redundant(x5,a16,endflow,60), redundant(x5,a16,a20,29), redundant(x5,a16,a5,30), redundant(x5,a16,a23,39), redundant(x17,a16,endflow,36), redundant(x17,a16,a7,35), compObjWrittenByActivityBeforeActivity(x5,a16,a3,7), compObjWrittenByActivityBeforeActivity(x17,a16,a15,20)}