------------------------------------------
{subsActivityBeforeActivity(a3,a3,9)}

{}

{redundant(x6,a3,endflow,66), redundant(x6,a3,endflow,71), redundant(x6,a3,endflow,75), compObjWrittenByActivityBeforeActivity(x6,a3,endflow,28), compObjWrittenByActivityBeforeActivity(x6,a3,endflow,33), compObjWrittenByActivityBeforeActivity(x6,a3,endflow,37), compObjWrittenByActivityBeforeActivity(x6,a3,a19,41), compObjWrittenByActivityBeforeActivity(x16,a3,endflow,28), compObjWrittenByActivityBeforeActivity(x16,a3,a19,41)}

{}