anchor.diff:          | None ->
               match evaleds with
               | [||] -> isSelectedScreenTransitioning world
  -            | _ ->
  -                let violation = Scripting.Violation (["InvalidBindingInvocation"], "Incorrect number of arguments for binding '" + fnName + "' at:\n" + SymbolOrigin.tryPrint originOpt, None)
  -                struct (violation, world)
  -        | Some violation -> struct (violation, world)
  -
  -    let evalSelectScreenBinding fnName exprs originOpt world =
  -        let struct (evaleds, world) = World.evalManyInternal exprs world
  -        match Array.tryFind (function Scripting.Violation _ -> true | _ -> false) evaleds with
  -        | None ->
  -            match evaleds with
  -            | [|transitionState; screen|] -> selectScreen transitionState screen world
               | _ ->
                   let violation = Scripting.Violation (["InvalidBindingInvocation"], "Incorrect number of arguments for binding '" + fnName + "' at:\n" + SymbolOrigin.tryPrint originOpt, None)
                   struct (violation, world)
  
positive.code:             struct (Scripting.Unit, result)
          with exn ->
              let violation = Scripting.Violation (["InvalidBindingInvocation"], "Could not invoke binding 'selectScreen' due to: " + scstring exn, None)
              struct (violation, World.choose oldWorld)
  
      let tryTransitionScreen destination world =
  
negative.code:             let violation = Scripting.Violation (["InvalidBindingInvocation"], "Could not invoke binding 'relate' due to: " + scstring exn, None)
              struct (violation, World.choose oldWorld)
  
      let selectScreen transitionState screen world =
          let oldWorld = world
          try
  