------------------------------------------
{compObjWrittenByActivityBeforeActivity(x25,a2,a2,9), subsActivityBeforeActivity(a6,a6,10)}

{}

{}

{}

{}

{redundant(x15,a1,endflow,53), redundant(x15,a1,endflow,60), redundant(x15,a1,a4,51), compObjWrittenByActivityBeforeActivity(x15,a1,a16,44), compObjWrittenByActivityBeforeActivity(x24,a1,a3,39)}