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

{redundant(x9,a25,endflow,44), redundant(x9,a25,endflow,50), redundant(x9,a25,endflow,57), redundant(x9,a25,endflow,75), redundant(x9,a25,endflow,81), redundant(x9,a25,endflow,88), redundant(x9,a25,a17,69), redundant(x9,a25,a10,70), redundant(x17,a25,endflow,57), redundant(x17,a25,endflow,63), compObjWrittenByActivityBeforeActivity(x9,a25,a7,67), compObjWrittenByActivityBeforeActivity(x9,a25,a10,39), compObjWrittenByActivityBeforeActivity(x14,a25,endflow,44), compObjWrittenByActivityBeforeActivity(x14,a25,endflow,50), compObjWrittenByActivityBeforeActivity(x14,a25,endflow,57), compObjWrittenByActivityBeforeActivity(x14,a25,endflow,63), compObjWrittenByActivityBeforeActivity(x14,a25,endflow,75), compObjWrittenByActivityBeforeActivity(x14,a25,endflow,81), compObjWrittenByActivityBeforeActivity(x14,a25,endflow,88), compObjWrittenByActivityBeforeActivity(x14,a25,endflow,94), compObjWrittenByActivityBeforeActivity(x17,a25,endflow,44), compObjWrittenByActivityBeforeActivity(x17,a25,endflow,50), compObjWrittenByActivityBeforeActivity(x17,a25,a24,52)}