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

{}

{redundant(x20,a20,endflow,31), redundant(x20,a20,endflow,55), redundant(x20,a20,a4,21), compObjWrittenByActivityBeforeActivity(x15,a20,endflow,31), compObjWrittenByActivityBeforeActivity(x15,a20,endflow,43), compObjWrittenByActivityBeforeActivity(x15,a20,endflow,55), compObjWrittenByActivityBeforeActivity(x20,a20,a1,7)}