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

{redundant(x10,a21,endflow,79), redundant(x10,a21,endflow,83), redundant(x10,a21,endflow,89), redundant(x10,a21,endflow,93), compObjWrittenByActivityBeforeActivity(x10,a21,endflow,49), compObjWrittenByActivityBeforeActivity(x10,a21,endflow,53), compObjWrittenByActivityBeforeActivity(x10,a21,endflow,59), compObjWrittenByActivityBeforeActivity(x10,a21,endflow,63), compObjWrittenByActivityBeforeActivity(x10,a21,a9,69), compObjWrittenByActivityBeforeActivity(x19,a21,endflow,49), compObjWrittenByActivityBeforeActivity(x19,a21,endflow,53), compObjWrittenByActivityBeforeActivity(x19,a21,endflow,59), compObjWrittenByActivityBeforeActivity(x19,a21,endflow,63), compObjWrittenByActivityBeforeActivity(x19,a21,endflow,79), compObjWrittenByActivityBeforeActivity(x19,a21,endflow,83), compObjWrittenByActivityBeforeActivity(x19,a21,endflow,89), compObjWrittenByActivityBeforeActivity(x19,a21,endflow,93)}

{}

{redundant(x7,a19,a19,43), redundant(x7,a19,a19,82), compObjWrittenByActivityBeforeActivity(x7,a19,a5,38), compObjWrittenByActivityBeforeActivity(x7,a19,a19,12)}

{}

{}


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

{}

{}

{}

{}

{}