------------------------------------------
{subsActivityBeforeActivity(a17,a17,7)}

{}

{redundant(x9,a7,endflow,56), redundant(x9,a7,endflow,66), redundant(x9,a7,a16,55), redundant(x9,a7,a16,65), redundant(x20,a7,a3,51), redundant(x20,a7,a3,74), compObjWrittenByActivityBeforeActivity(x9,a7,a1,46), compObjWrittenByActivityBeforeActivity(x20,a7,a15,49)}

{compObjWrittenByActivityBeforeActivity(x1,a25,a14,45), compObjWrittenByActivityBeforeActivity(x10,a25,a14,45)}