Update to new DEFSYM strategy