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

{}

{redundant(x14,a17,endflow,33), redundant(x14,a17,endflow,52), redundant(x14,a17,endflow,67), redundant(x14,a17,a11,51), redundant(x14,a17,a11,66), compObjWrittenByActivityBeforeActivity(x14,a17,a14,41), compObjWrittenByActivityBeforeActivity(x14,a17,a11,32)}