For all nodes Key in the tree Tree, if the value associated with key
Key is Val0 in tree Tree, and if call(G,Val0,ValF) holds, then the
value associated with Key in NewTree is ValF. Fails if
call(G,Val0,ValF) is not satisfiable for all Val0.
Tag confusing pages with doc-needs-help|Tags are associated to your profile if you are logged in