------------------------------------------
{subsActivityBeforeActivity(a20,a20,6)}

{redundant(x10,a20,endflow,42), redundant(x10,a20,endflow,53), redundant(x10,a20,endflow,57), redundant(x10,a20,endflow,61), redundant(x10,a20,a16,37), redundant(x26,a20,endflow,61), compObjWrittenByActivityBeforeActivity(x10,a20,a15,34), compObjWrittenByActivityBeforeActivity(x23,a20,a16,37), compObjWrittenByActivityBeforeActivity(x26,a20,endflow,42), compObjWrittenByActivityBeforeActivity(x26,a20,endflow,57), compObjWrittenByActivityBeforeActivity(x26,a20,a21,60)}