------------------------------------------
{compObjWrittenByActivityBeforeActivity(x4,a18,a18,8), subsActivityBeforeActivity(a15,a15,9)}

{}

{}

{}

{redundant(x15,a6,endflow,62), redundant(x15,a6,endflow,66), redundant(x15,a6,endflow,69), compObjWrittenByActivityBeforeActivity(x7,a6,endflow,49), compObjWrittenByActivityBeforeActivity(x7,a6,endflow,56), compObjWrittenByActivityBeforeActivity(x7,a6,endflow,62), compObjWrittenByActivityBeforeActivity(x7,a6,endflow,66), compObjWrittenByActivityBeforeActivity(x7,a6,endflow,69), compObjWrittenByActivityBeforeActivity(x8,a6,endflow,49), compObjWrittenByActivityBeforeActivity(x8,a6,endflow,56), compObjWrittenByActivityBeforeActivity(x8,a6,endflow,62), compObjWrittenByActivityBeforeActivity(x8,a6,endflow,69), compObjWrittenByActivityBeforeActivity(x15,a6,endflow,49), compObjWrittenByActivityBeforeActivity(x15,a6,endflow,56), compObjWrittenByActivityBeforeActivity(x15,a6,a23,59), compObjWrittenByActivityBeforeActivity(x25,a6,endflow,49), compObjWrittenByActivityBeforeActivity(x25,a6,endflow,66), compObjWrittenByActivityBeforeActivity(x25,a6,endflow,69)}


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

{}

{}

{}

{}