(method (Test this)
  String var0 = (String.class.$init$)
  typecheck "Test" is instance of var0
  return
)