// ĠIG NORE _ BACKEND : ĠJS _ IR Ċ // ĠEXPECT ED _ RE ACH ABLE _ NODES : Ġ 1 1 1 0 Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġval Ġr 1 Ġ= Ġtrue Fun () Ġ> Ġfalse Fun () ĊĠĠĠ Ġif Ġ(! r 1 ) Ġreturn Ġ" fail 1 " ĊĊĠĠĠ Ġif Ġ( false Fun () Ġ> Ġtrue Fun ()) Ġreturn Ġ" fail 2 " ĊĊĠĠĠ Ġif Ġ( true Fun () Ġ> Ġtrue Fun ()) Ġreturn Ġ" fail 3 " ĊĊĠĠĠ Ġif Ġ( true Fun () Ġ< Ġfalse Fun ()) Ġreturn Ġ" fail 4 " ĊĊĠĠĠ Ġval Ġx : ĠComparable < Boolean > Ġ= Ġtrue Fun () ĊĠĠĠ Ġval Ġy : ĠComparable < Boolean > Ġ= Ġfalse Fun () ĊĊĠĠĠ Ġif Ġ( x . compareTo ( false ) Ġ<= Ġ 0 ) Ġreturn Ġ" fail 5 " ĊĠĠĠ Ġif Ġ( y . compareTo ( true ) Ġ>= Ġ 0 ) Ġreturn Ġ" fail 6 " ĊĠĠĠ Ġif Ġ( y . compareTo ( false ) Ġ!= Ġ 0 ) Ġreturn Ġ" fail 7 " ĊĊĠĠĠ Ġif Ġ(( true ). compareTo ( false ) Ġ<= Ġ 0 ) Ġreturn Ġ" fail 8 " ĊĊĠĠĠ Ġreturn Ġ" OK " Ċ } Ċ Ċ fun Ġtrue Fun () Ġ= Ġtrue Ċ Ċ fun Ġfalse Fun () Ġ= Ġfalse