------------------------------------------
{subsActivityBeforeActivity(a14,a14,10)}

{}

{}

{redundant(x9,a14,endflow,60), redundant(x9,a14,endflow,64), redundant(x9,a14,endflow,67), redundant(x9,a14,a9,59), redundant(x9,a14,a13,66), compObjWrittenByActivityBeforeActivity(x9,a14,endflow,45), compObjWrittenByActivityBeforeActivity(x9,a14,endflow,54), compObjWrittenByActivityBeforeActivity(x9,a14,a14,11), compObjWrittenByActivityBeforeActivity(x9,a14,a17,57)}