------------------------------------------
{subsActivityBeforeActivity(a5,a5,11)}

{}

{redundant(x34,a11,endflow,34), redundant(x34,a11,endflow,38), redundant(x34,a11,endflow,42), redundant(x34,a11,endflow,54), redundant(x34,a11,endflow,58), redundant(x34,a11,endflow,62), compObjWrittenByActivityBeforeActivity(x34,a11,a13,26)}

{compObjWrittenByActivityBeforeActivity(x4,a5,endflow,35), compObjWrittenByActivityBeforeActivity(x4,a5,endflow,39), compObjWrittenByActivityBeforeActivity(x4,a5,endflow,43)}

{}