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

{}

{redundant(23), redundant(27), compObjWrittenByActivityBeforeActivity(x6,a5,a3,9)}

{}

{compObjWrittenByActivityBeforeActivity(x17,a9,a9,14)}

{}

