Fix substitution order in delta simplification
Fix substitution order in delta simplification

The substitutions for the delta simplification needs to be performed by
the exactly order they are found.  Now this problem is fixed.

tschijnmo/drudge,tschijnmo/drudge,tschijnmo/drudge