Make AGGLEditor stop generating unnecessary (not(= X X))