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

{redundant(x6,a18,endflow,42), redundant(x6,a18,endflow,47), redundant(x6,a18,endflow,50), redundant(x6,a18,endflow,53), compObjWrittenByActivityBeforeActivity(x6,a18,a25,38)}

{compObjWrittenByActivityBeforeActivity(x7,a8,a8,10), compObjWrittenByActivityBeforeActivity(x7,a8,a8,34), compObjWrittenByActivityBeforeActivity(x7,a8,a8,62), compObjWrittenByActivityBeforeActivity(x24,a8,a15,56)}

{compObjWrittenByActivityBeforeActivity(x13,a13,a18,9)}

{}


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

{}

{}

{}

{}