------------------------------------------
{subsActivityBeforeActivity(a15,a15,7)}

{}

{redundant(x1,a11,endflow,28), redundant(x1,a11,endflow,37), redundant(x1,a11,endflow,40), redundant(x1,a11,a25,30), redundant(x1,a11,a6,36), compObjWrittenByActivityBeforeActivity(x1,a11,a16,24)}

{}