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

{}

{redundant(x25,a12,endflow,79), redundant(x25,a12,endflow,83), redundant(x25,a12,endflow,91), redundant(x25,a12,endflow,95), compObjWrittenByActivityBeforeActivity(x12,a12,a13,74), compObjWrittenByActivityBeforeActivity(x21,a12,endflow,79), compObjWrittenByActivityBeforeActivity(x21,a12,endflow,83), compObjWrittenByActivityBeforeActivity(x21,a12,endflow,91), compObjWrittenByActivityBeforeActivity(x21,a12,endflow,95), compObjWrittenByActivityBeforeActivity(x25,a12,a24,67)}

{}