digraph combined {
  label="nonShortCircuitMethod"
  -1 [shape=record,style=filled,label="-1|entry"]
  -2 [shape=record,label="-2|exit"]
  0 [shape=record,label="0|{0:	 // label\l|1:	 // line number information\l|2:	ILOAD 1\l|3:	ILOAD 2\l|4:	IF_ICMPLE 7\l}"]
  5 [shape=record,label="5|{5:	ICONST_1 \l|6:	GOTO 10\l}"]
  7 [shape=record,label="7|{7:	 // label\l|8:	 // stack frame map\l|9:	ICONST_0 \l}"]
  10 [shape=record,label="10|{10:	 // label\l|11:	 // stack frame map\l|12:	ILOAD 1\l|13:	ILOAD 3\l|14:	IF_ICMPGE 17\l}"]
  15 [shape=record,label="15|{15:	ICONST_1 \l|16:	GOTO 20\l}"]
  17 [shape=record,label="17|{17:	 // label\l|18:	 // stack frame map\l|19:	ICONST_0 \l}"]
  20 [shape=record,label="20|{20:	 // label\l|21:	 // stack frame map\l|22:	IAND \l|23:	IFEQ 28\l}"]
  24 [shape=record,label="24|{24:	 // label\l|25:	 // line number information\l|26:	ICONST_1 \l|27:	IRETURN \l}"]
  28 [shape=record,label="28|{28:	 // label\l|29:	 // line number information\l|30:	 // stack frame map\l|31:	ICONST_0 \l|32:	IRETURN \l}"]
  -1 -> 0 [label=""]
  0 -> 5 [label=""]
  7 -> 10 [label=""]
  10 -> 15 [label=""]
  17 -> 20 [label=""]
  20 -> 24 [label=""]
  24 -> -2 [label=""]
  24 -> 28 [label=""]
  28 -> -2 [label=""]
  0 -> 7 [label="T"]
  5 -> 10 [label="T"]
  10 -> 17 [label="T"]
  15 -> 20 [label="T"]
  20 -> 28 [label="T"]
  10 -> 20 [style=dotted]
  20 -> -2 [style=dotted]
  10 -> 17 [style=dotted]
  -1 -> 0 [style=dotted]
  20 -> 28 [style=dotted]
  20 -> 24 [style=dotted]
  0 -> 7 [style=dotted]
  0 -> 10 [style=dotted]
  0 -> 5 [style=dotted]
  10 -> 15 [style=dotted]
}