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

{redundant(x22,a4,endflow,26), redundant(x22,a4,endflow,31), redundant(x22,a4,endflow,33), redundant(x22,a4,endflow,42), redundant(x22,a4,endflow,47), redundant(x22,a4,endflow,49), compObjWrittenByActivityBeforeActivity(x7,a4,a4,7), compObjWrittenByActivityBeforeActivity(x22,a4,a6,22), compObjWrittenByActivityBeforeActivity(x22,a4,a6,38)}

{compObjWrittenByActivityBeforeActivity(x10,a25,a4,8)}


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

{}

{}