------------------------------------------
{compObjWrittenByActivityBeforeActivity(x12,a6,a6,8)}

{}

{redundant(x6,a21,endflow,73), redundant(x6,a21,endflow,78), redundant(x6,a21,a24,80), redundant(x7,a21,endflow,73), redundant(x7,a21,endflow,78), redundant(x7,a21,endflow,88), redundant(x7,a21,endflow,93), redundant(x7,a21,endflow,99), redundant(x7,a21,endflow,104), redundant(x7,a21,endflow,113), redundant(x7,a21,endflow,118), redundant(x7,a21,a5,83), redundant(x7,a21,a17,84), compObjWrittenByActivityBeforeActivity(x6,a21,a9,67), compObjWrittenByActivityBeforeActivity(x7,a21,a11,66)}

{}

{}