For all nodes Key in Keys, 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 or if
call(G,Val0,ValF) is not satisfiable for all Val0. Assumes keys are
not repeated.