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

{redundant(x16,a4,endflow,34), redundant(x16,a4,endflow,39), compObjWrittenByActivityBeforeActivity(x13,a4,a4,8), compObjWrittenByActivityBeforeActivity(x13,a4,a21,12), compObjWrittenByActivityBeforeActivity(x16,a4,endflow,17), compObjWrittenByActivityBeforeActivity(x16,a4,endflow,29), compObjWrittenByActivityBeforeActivity(x16,a4,a8,32)}

{redundant(x10,a2,endflow,20), compObjWrittenByActivityBeforeActivity(x10,a2,a24,6), compObjWrittenByActivityBeforeActivity(x12,a2,endflow,20), compObjWrittenByActivityBeforeActivity(x16,a2,a4,19), compObjWrittenByActivityBeforeActivity(x16,a2,a4,32), compObjWrittenByActivityBeforeActivity(x16,a2,a4,36), compObjWrittenByActivityBeforeActivity(x16,a2,a2,10)}


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

{}

{}