------------------------------------------
{subsActivityBeforeActivity(a7,a7,8), subsActivityBeforeActivity(a7,a7,15), subsActivityBeforeActivity(a7,a7,30), subsActivityBeforeActivity(a7,a7,38), subsActivityBeforeActivity(a7,a7,47)}

{redundant(x4,a5,endflow,20), redundant(x4,a5,endflow,36), redundant(x4,a5,endflow,45), redundant(x4,a5,endflow,55), redundant(x4,a5,a5,7), redundant(x4,a5,a10,30), compObjWrittenByActivityBeforeActivity(x3,a5,a23,15), compObjWrittenByActivityBeforeActivity(x4,a5,a14,6)}

{compObjWrittenByActivityBeforeActivity(x1,a7,a20,26)}