------------------------------------------
{subsActivityBeforeActivity(a21,a21,8), subsActivityBeforeActivity(a22,a22,9), subsActivityBeforeActivity(a7,a7,12)}

{}

{}

{}

{redundant(x25,a7,endflow,34), redundant(x25,a7,endflow,43), redundant(x25,a7,a16,32), redundant(x25,a7,a4,38), compObjWrittenByActivityBeforeActivity(x25,a7,endflow,19), compObjWrittenByActivityBeforeActivity(x25,a7,a12,30)}