anchor.diff:          Member,
           Procedure,
           Program,
  +        StaticInvocation,
           SuperMethodInvocation,
           SuperPropertyGet,
           SuperPropertySet,
  
positive.code: 
  import '../type_inference/type_schema.dart' show TypeSchemaVisitor, UnknownType;
  
  import 'redirecting_factory_body.dart' show RedirectingFactoryBody;
  
  List<LocatedMessage> verifyProgram(Program program, {bool isOutline: false}) {
    FastaVerifyingVisitor verifier = new FastaVerifyingVisitor(isOutline);
  
negative.code:     checkSuperInvocation(node);
      super.visitSuperPropertySet(node);
    }
  
    @override
    visitStaticInvocation(StaticInvocation node) {
      super.visitStaticInvocation(node);
      RedirectingFactoryBody body = getRedirectingFactoryBody(node.target);
      if (body != null) {
        problem(node, "Attempt to invoke redirecting factory.");
      }
    }
  }
  