// ĠEXPECT ED _ RE ACH ABLE _ NODES : Ġ 1 2 8 3 Ċ Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġvar Ġx : ĠString ? Ġ= Ġfoo () ĊĠĠĠ Ġvar Ġr Ġ= Ġx Ġ+ Ġbar () ĊĠĠĠ Ġif Ġ( r Ġ!= Ġ" foobar ") Ġreturn Ġ" fail 1 : Ġ$ r " ĊĊĠĠĠ Ġx Ġ= Ġnull ĊĠĠĠ Ġr Ġ= Ġx Ġ+ Ġbar () ĊĠĠĠ Ġif Ġ( r Ġ!= Ġ" null bar ") Ġreturn Ġ" fail 2 : Ġ$ r " ĊĊĠĠĠ Ġx Ġ= Ġfoo () ĊĠĠĠ Ġr Ġ= Ġx Ġ+ Ġnull ĊĠĠĠ Ġif Ġ( r Ġ!= Ġ" fo on ull ") Ġreturn Ġ" fail 3 : Ġ$ r " ĊĊĠĠĠ Ġx Ġ= Ġfoo () ĊĠĠĠ Ġr Ġ= Ġx Ġ+ Ġnull String () ĊĠĠĠ Ġif Ġ( r Ġ!= Ġ" fo on ull ") Ġreturn Ġ" fail 4 : Ġ$ r " ĊĊĠĠĠ Ġr Ġ= Ġfoo () ĊĠĠĠ Ġr Ġ+= Ġbar () ĊĠĠĠ Ġif Ġ( r Ġ!= Ġ" foobar ") Ġreturn Ġ" fail 5 : Ġ$ r " ĊĊĠĠĠ Ġx Ġ= Ġnull ĊĠĠĠ Ġr Ġ= Ġx Ġ+ Ġnull ĊĠĠĠ Ġif Ġ( r Ġ!= Ġ" null null ") Ġreturn Ġ" fail 6 : Ġ$ r " ĊĊĠĠĠ Ġx Ġ= Ġfoo () ĊĠĠĠ Ġx Ġ+= Ġnull String () ĊĠĠĠ Ġif Ġ( x Ġ!= Ġ" fo on ull ") Ġreturn Ġ" fail 7 : Ġ$ r " ĊĊĠĠĠ Ġx Ġ= Ġnull String () ĊĠĠĠ Ġx Ġ+= Ġbar () ĊĠĠĠ Ġif Ġ( x Ġ!= Ġ" null bar ") Ġreturn Ġ" fail 8 : Ġ$ r " ĊĊĠĠĠ Ġx Ġ= Ġnull String () ĊĠĠĠ Ġr Ġ= Ġx Ġ+ Ġnull String () ĊĠĠĠ Ġif Ġ( r Ġ!= Ġ" null null ") Ġreturn Ġ" fail 9 : Ġ$ r " ĊĊĠĠĠ Ġx Ġ= Ġnull String () ĊĠĠĠ Ġx Ġ+= Ġnull String () ĊĠĠĠ Ġif Ġ( x Ġ!= Ġ" null null ") Ġreturn Ġ" fail 1 0 : Ġ$ x " ĊĊĠĠĠ Ġreturn Ġ" OK " Ċ } Ċ Ċ fun Ġfoo () Ġ= Ġ" foo " Ċ Ċ fun Ġbar () Ġ= Ġ" bar " Ċ Ċ fun Ġnull String (): ĠString ? Ġ= Ġnull