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

{redundant(x17,a9,endflow,78), redundant(x17,a9,endflow,90), redundant(x17,a9,endflow,98), redundant(x17,a9,a11,71), compObjWrittenByActivityBeforeActivity(x17,a9,endflow,66), compObjWrittenByActivityBeforeActivity(x17,a9,a12,69)}

{compObjWrittenByActivityBeforeActivity(x15,a7,a2,60), compObjWrittenByActivityBeforeActivity(x15,a7,a4,85)}

{}

{redundant(x14,a18,a18,14), compObjWrittenByActivityBeforeActivity(x14,a18,a9,11), compObjWrittenByActivityBeforeActivity(x14,a18,a18,58)}

{}


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

{}

{}

{}

{}

{}