------------------------------------------
{subsActivityBeforeActivity(a19,a19,11)}

{compObjWrittenByActivityBeforeActivity(x6,a4,a23,8), compObjWrittenByActivityBeforeActivity(x15,a4,a23,8)}

{}

{redundant(x7,a19,a15,49), redundant(x24,a19,endflow,38), redundant(x24,a19,endflow,45), redundant(x24,a19,endflow,60), redundant(x24,a19,endflow,67), redundant(x24,a19,endflow,80), redundant(x24,a19,endflow,87), redundant(x24,a19,a7,37), redundant(x24,a19,a7,44), redundant(x24,a19,a7,59), redundant(x24,a19,a7,66), redundant(x24,a19,a7,79), redundant(x24,a19,a7,86), compObjWrittenByActivityBeforeActivity(x7,a19,a22,12), compObjWrittenByActivityBeforeActivity(x24,a19,a24,33), compObjWrittenByActivityBeforeActivity(x24,a19,a24,55), compObjWrittenByActivityBeforeActivity(x24,a19,a24,75)}

{}


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

{}

{}

{}

{}