Improvement. The simplifying node factory never creates x + y = y + 2 (say). Instead it removes terms that are common on both sides. Creating x = 2.
Improvement. The simplifying node factory never creates x + y = y + 2 (say). Instead it removes terms that are common on both sides. Creating x = 2.

git-svn-id: 5069ba8be4c997ee907bf46f8ec9a2bbfb655637@1249 e59a4935-1847-0410-ae03-e826735625c1

linpc/STP,linpc/STP,linpc/STP,linpc/STP,linpc/STP