anchor.diff:                  match World.tryDeriveSimulant address with
                   | Some simulant -> struct (Bool (World.getSimulantExists simulant world), world)
                   | None -> struct (Bool false, world)
  -            | Violation _ as error -> struct (error, world)
               | _ -> struct (Violation (["InvalidArgumentType"; "SimulantExists"], "Function '" + fnName + "' requires 1 Relation argument.", originOpt), world)
   
           static member internal tryResolveRelation fnName expr originOpt (context : Simulant) world =
  
positive.code:                     | _ -> struct (Violation (["InvalidIndexer"; String.capitalize fnName], "Invalid indexer '" + indexer + "' for V4.", originOpt), world)
                  | _ -> failwithumf ()
              | struct ([|_; _|], world) -> struct (Violation (["InvalidArgumentType"; String.capitalize fnName], "Application of " + fnName + " requires a V4 index.", originOpt), world)
              | struct (_, world) -> struct (Violation (["InvalidArgumentCount"; String.capitalize fnName], "Incorrect number of arguments for application of '" + fnName + "'; 2 arguments required.", originOpt), world)
  
          static member internal evalUpdateV4Extrinsic fnName exprs originOpt world =
              match World.evalManyInternal exprs world with
  
negative.code:             | struct ([|_; Violation _ as v|], world) -> struct (v, world)
              | struct ([|Single x; Single y|], world) -> struct (Pluggable { Vector2 = Vector2 (x, y) }, world)
              | struct ([|_; _|], world) -> struct (Violation (["InvalidArgumentType"; String.capitalize fnName], "Application of " + fnName + " requires a Single for the both arguments.", originOpt), world)
              | struct (_, world) -> struct (Violation (["InvalidArgumentCount"; String.capitalize fnName], "Incorrect number of arguments for '" + fnName + "'; 2 arguments required.", originOpt), world)
  
          static member internal evalIndexV2Extrinsic fnName exprs originOpt world =
              match World.evalManyInternal exprs world with
  