------------------------------------------
{subsActivityBeforeActivity(a25,a25,11), subsActivityBeforeActivity(a25,a25,27), subsActivityBeforeActivity(a25,a25,37), subsActivityBeforeActivity(a25,a25,54), subsActivityBeforeActivity(a25,a25,64), subsActivityBeforeActivity(a25,a25,79), subsActivityBeforeActivity(a25,a25,89)}

{redundant(x2,a13,a13,9), redundant(x2,a13,a5,27), redundant(x2,a13,a5,38), redundant(x2,a13,a5,56), redundant(x2,a13,a5,67), redundant(x2,a13,a5,83), redundant(x2,a13,a5,94), compObjWrittenByActivityBeforeActivity(x2,a13,a7,8)}

{redundant(x4,a5,a1,35), redundant(x4,a5,a1,64), redundant(x4,a5,a1,91), compObjWrittenByActivityBeforeActivity(x1,a5,a24,18), compObjWrittenByActivityBeforeActivity(x4,a5,a6,22), compObjWrittenByActivityBeforeActivity(x4,a5,a6,51), compObjWrittenByActivityBeforeActivity(x4,a5,a6,78)}

{compObjWrittenByActivityBeforeActivity(x9,a25,a22,38), compObjWrittenByActivityBeforeActivity(x9,a25,a22,68), compObjWrittenByActivityBeforeActivity(x9,a25,a22,96)}

{}


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

{}

{}

{}

{}