class AbstractStaticnessCorrector extends BodyTransformer {

  protected static boolean isClassLoaded(SootClass sc) {
    return sc.resolvingLevel() >= SootClass.SIGNATURES;
  }

  protected static boolean isTypeLoaded(Type tp) {<FILL_FUNCTION_BODY>}
}

    if (tp instanceof RefType) {
      RefType rt = (RefType) tp;
      if (rt.hasSootClass()) {
        return isClassLoaded(rt.getSootClass());
      }
    }
    return false;
  
<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