If the element is a variable, then iterative block 4304 iterates for each characteristic of the variable in conjunction with process block 4306, which invokes a substitute/propagate process which was defined in conjunction with FIG. 31, and invokes that subprocess for the particular characteristic to propagate that characteristic back through the function.