class BAFCounter extends BodyTransformer implements IJbcoTransform {

  static int count = 0;
  public static String dependancies[] = new String[] { "bb.jbco_counter" };

  public String[] getDependencies() {
    return dependancies;
  }

  public static String name = "bb.jbco_counter";

  public String getName() {
    return name;
  }

  public void outputSummary() {
    out.println("Count: " + count);
  }

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

    for (Unit u : b.getUnits()) {
      if (u instanceof TargetArgInst && !(u instanceof GotoInst) && !(u instanceof JSRInst)) {
        count++;
      }
    }
  
<methods>public non-sealed void <init>() ,public final void transform(soot.Body, java.lang.String, Map<java.lang.String,java.lang.String>) ,public final void transform(soot.Body, java.lang.String) ,public final void transform(soot.Body) <variables>private static final Map<java.lang.String,java.lang.String> enabledOnlyMap