The 13.3 XST Verific Parser still prevents SRL inference even if the Save net attribute is set to "false".
This happens when -use_new_parser is set to "yes" while targeting a Virtex-5 device.The old XST parser is able to infer SRLs when the save net attribute is set to "false".
This is a known issue in the new parser.
To work around this problem, comment out the save net attribute declarations within the HDL code.