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

{}

{}

{}

{redundant(x10,a15,endflow,32), redundant(x10,a15,endflow,53), redundant(x10,a15,a20,22), redundant(x10,a15,a5,23), compObjWrittenByActivityBeforeActivity(x10,a15,a12,10)}

{redundant(x20,a19,a4,47), redundant(x20,a19,a14,59), compObjWrittenByActivityBeforeActivity(x20,a19,a5,24)}