anchor.diff:          (ClassElement enclosingClass, FieldElement field) {
             Primitive argument = allocation.arguments[i++].definition;
             fieldInitialValues[field] = argument;
  -        });
  +        },
  +        includeSuperAndInjectedMembers: true);
       }
   
       // Create [MutableVariable]s for each written field. Initialize the
  
positive.code: 
  /**
   * Do scalar replacement of aggregates on instances. Since scalar replacement
   * can create new candidiates, iterate until all scalar replacements are done.
   */
  class ScalarReplacementVisitor extends TrampolineRecursiveVisitor {
  
  
negative.code: 
  /**
   * Replaces aggregates with a set of local values.  Performs inlining of
   * single-use closures to generate more replaceable aggregates.
   */
  class ScalarReplacer extends Pass {
    String get passName => 'Scalar replacement';
  