class Main {
  static int yes = 0, no = 0;

  /**
   * @param args
   */
  public static void main(String[] args) {
    PackManager.v().getPack("jtp").add(new Transform("jtp.fixedie", new BodyTransformer() {

      @Override
      protected void internalTransform(Body b, String phaseName, Map<String, String> options) {<FILL_FUNCTION_BODY>}

    }));
    soot.Main.main(args);
    System.err.println("+++ " + yes);
    System.err.println(" -  " + no);
  }

}

        for (Unit u : b.getUnits()) {
          Stmt s = (Stmt) u;
          if (s.containsInvokeExpr()) {
            InvokeExpr ie = s.getInvokeExpr();
            if (FixedMethods.isFixed(ie)) {
              System.err.println("+++ " + ie);
              yes++;
            } else {
              System.err.println(" -  " + ie);
              no++;
            }
          }
        }
      
<no_super_class>