------------------------------------------
{subsActivityBeforeActivity(a20,a20,11), subsActivityBeforeActivity(a20,a20,33), subsActivityBeforeActivity(a20,a20,53)}

{redundant(x18,a12,a25,30), redundant(x18,a12,a20,35), compObjWrittenByActivityBeforeActivity(x18,a12,a23,29)}

{compObjWrittenByActivityBeforeActivity(x12,a14,a12,9)}

{}

{compObjWrittenByActivityBeforeActivity(x18,a7,a12,30), compObjWrittenByActivityBeforeActivity(x18,a7,a20,13)}


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

{}

{}

{}

{}