------------------------------------------
{subsActivityBeforeActivity(a17,a17,9), subsActivityBeforeActivity(a16,a16,11), subsActivityBeforeActivity(a16,a16,27), subsActivityBeforeActivity(a16,a16,38), subsActivityBeforeActivity(a16,a16,44)}

{redundant(x24,a17,endflow,33), redundant(x24,a17,endflow,52), compObjWrittenByActivityBeforeActivity(x24,a17,a24,35), compObjWrittenByActivityBeforeActivity(x24,a17,a16,30), compObjWrittenByActivityBeforeActivity(x24,a17,a16,49)}

{redundant(x20,a13,endflow,47), compObjWrittenByActivityBeforeActivity(x20,a13,endflow,34), compObjWrittenByActivityBeforeActivity(x20,a13,endflow,55), compObjWrittenByActivityBeforeActivity(x20,a13,a3,42), compObjWrittenByActivityBeforeActivity(x21,a13,a4,8)}

{}

{}