------------------------------------------
{subsActivityBeforeActivity(a15,a15,6)}

{redundant(x19,a15,endflow,32), redundant(x19,a15,endflow,43), compObjWrittenByActivityBeforeActivity(x2,a15,a13,18), compObjWrittenByActivityBeforeActivity(x2,a15,a1,26), compObjWrittenByActivityBeforeActivity(x19,a15,a20,31), compObjWrittenByActivityBeforeActivity(x19,a15,a20,42)}


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

{}