anchor.diff:  before any results are returned to the user. An implementation may provide the user with a way to opt out of this
   behavior, however this must be done explicitly (e.g. via a configuration setting).
   
  -==== Semantic details of explicit argument passing
  +==== Semantics of explicit argument passing
   
   In this scenario, arguments are provided explicitly as a sequence of expressions as required by the procedure's signature.
   It is an error if the number of provided arguments differs from the number of arguments required by the procedure signature.
  
positive.code: CALL myProc
  ----
  
  === Procedure call semantics details
  
  The technical details of how procedure calls are executed are left to the implementation as long as they do not violate
  the following rules:
  
negative.code: = CIP2015-06-24 Calling Stored Procedures
  :numbered:
  :toc:
  :toclevels: 3
  :toc-placement: macro
  :source-highlighter: codemirror
  
  *Author:* Stefan Plantikow <stefan.plantikow@neotechnology.com>
  *Author:* Nigel Small <nigel.small@neotechnology.com>
  *Author:* Petra Selmer <petra.selmer@neotechnology.com>
  *Author:* Rickard Öberg <rickard.öberg@neotechnology.com>
  
  [abstract]
  .Abstract
  