reading Blort.class...
method <init> ()V
first 000c
block 0000
  pred 000a
  Blort.java:2@0001: Rop{invoke-direct . <- Ljava/lang/Object; call throws <any
  >}(java.lang.Object.<init>:()V catch) . <- v0:NffffLBlort;
  next 000b
block 000a
  pred 000c
  Blort.java:2@0000: move-param-object(0) v0:"this"NffffLBlort; <- .
  Blort.java:2@0000: goto . <- .
  next 0000
block 000b
  pred 0000
  Blort.java:2@0004: return-void . <- .
  returns
block 000c
  @????: goto . <- .
  next 000a

method testMultipleIdenticalSuccessors (I)V
first 0053
block 0000
  pred 004a
  Blort.java:5@0001: switch({1, 2, 3}) . <- v3:I
  next 001c
  next 001c
  next 001c
  next 004b *
block 001c
  pred 0000
  pred 0000
  pred 0000
  Blort.java:9@001c: get-static-object(java.lang.System.out:Ljava/io/PrintStrea
  m; catch) . <- .
  next 0051
block 001f
  pred 0051
  Blort.java:9@001f: const-object("foo" catch) . <- .
  next 0052
block 0021
  pred 0052
  Blort.java:9@0021: Rop{invoke-virtual . <- Ljava/io/PrintStream; Ljava/lang/S
  tring; call throws <any>}(java.io.PrintStream.println:(Ljava/lang/String;)V c
  atch) . <- v0:Ljava/io/PrintStream; v1:Ljava/lang/String;="foo"
  next 004b
block 004a
  pred 0053
  Blort.java:5@0000: move-param-object(0) v2:"this"LBlort; <- .
  Blort.java:5@0000: move-param-int(1) v3:"foo"I <- .
  Blort.java:5@0000: goto . <- .
  next 0000
block 004b
  pred 0000
  pred 0021
  Blort.java:12@0024: return-void . <- .
  returns
block 0051
  pred 001c
  Blort.java:9@001c: Rop{move-result-pseudo Ljava/io/PrintStream; <- . flows} v
  0:Ljava/io/PrintStream; <- .
  Blort.java:9@001c: goto . <- .
  next 001f
block 0052
  pred 001f
  Blort.java:9@001f: Rop{move-result-pseudo Ljava/lang/String; <- . flows} v1:L
  java/lang/String;="foo" <- .
  Blort.java:9@001f: goto . <- .
  next 0021
block 0053
  @????: goto . <- .
  next 004a

method testNoPrimarySuccessor ()V
first 001a
block 0000
  pred 0012
  Blort.java:16@0000: new-instance(java.lang.RuntimeException catch java.lang.R
  untimeException) . <- .
  next 001b
  next 0019 *
block 0003
  pred 0019
  Blort.java:16@0004: Rop{invoke-direct . <- Ljava/lang/RuntimeException; call 
  throws <any>}(java.lang.RuntimeException.<init>:()V catch java.lang.RuntimeEx
  ception) . <- v0:N0000Ljava/lang/RuntimeException;
  next 001b
  next 0007 *
block 0007
  pred 0003
  Blort.java:16@0007: throw(catch java.lang.RuntimeException) . <- v0:Ljava/lan
  g/RuntimeException;
  next 001b
block 0012
  pred 001a
  Blort.java:16@0000: move-param-object(0) v1:"this"LBlort; <- .
  Blort.java:16@0000: goto . <- .
  next 0000
block 0013
  pred 001b
  Blort.java:19@0009: return-void . <- .
  returns
block 0019
  pred 0000
  Blort.java:16@0000: Rop{move-result-pseudo N0000Ljava/lang/RuntimeException; 
  <- . flows} v0:N0000Ljava/lang/RuntimeException; <- .
  Blort.java:16@0000: goto . <- .
  next 0003
block 001a
  @????: goto . <- .
  next 0012
block 001b
  pred 0000
  pred 0003
  pred 0007
  Blort.java:17@0008: Rop{move-exception Ljava/lang/RuntimeException; <- . flow
  s} v0:Ljava/lang/RuntimeException; <- .
  @????: goto . <- .
  next 0013