------------------------------------------
{compObjWrittenByActivityBeforeActivity(x25,a4,a4,9), subsActivityBeforeActivity(a4,a4,9)}

{}

{}

{}

{}

{redundant(x21,a17,endflow,27), compObjWrittenByActivityBeforeActivity(x21,a17,endflow,20), compObjWrittenByActivityBeforeActivity(x21,a17,endflow,36), compObjWrittenByActivityBeforeActivity(x21,a17,endflow,43), compObjWrittenByActivityBeforeActivity(x21,a17,a8,26)}