loop () → | loop’ ( ()), , , ) → | if ( (, ()) then // condition is true | loop’ (, (, (, ( ))), , , ) → | if ( (, ()) then // condition is true | if cf (, (, ())) then // condition is true | loop’ (, (, (, (, (, ())))), , , ) → | if cf (, ()) then // condition is true | if cf (, (, ())) then // condition is true | if cf (, (, (, (, (, ()))))) else // condition is false | |
|