------------------------------------------
{subsActivityBeforeActivity(a4,a4,7), subsActivityBeforeActivity(a9,a9,8)}

{}

{redundant(x9,a9,endflow,75), redundant(x9,a9,endflow,81), redundant(x9,a9,endflow,86), compObjWrittenByActivityBeforeActivity(x3,a9,a4,8), compObjWrittenByActivityBeforeActivity(x3,a9,a14,35), compObjWrittenByActivityBeforeActivity(x8,a9,a14,35), compObjWrittenByActivityBeforeActivity(x9,a9,a2,69)}