[EIdentifier "B",EUnderover False (ESymbol Op "\8594") (EIdentifier "f") (EGrouped []),EIdentifier "A",EUnderover False (ESymbol Op "\8592") (EIdentifier "f") (EGrouped []),EIdentifier "C"]