Complete, but untested, implementation of AgnMrnaRepVisitor