protected Named findMember(Named container, String name) throws SemanticException {
    if (container instanceof ClassType) {
      ClassType ct = (ClassType) container;

      if (Report.should_report(report_topics, 2)) Report.report(2, "MCR: found prefix " + ct);

      // Uncomment if we should search superclasses
      // return ct.resolver().find(name);
      Named n = ct.memberClassNamed(name);

      if (n != null) {
        if (Report.should_report(report_topics, 2))
          Report.report(2, "MCR: found member of " + ct + ": " + n);
        return n;
      }
    }

    throw new NoClassException(container.fullName() + "." + name);
  }