updated test results po

this is mainly a list index change of the same result
updated string based po testing such that the following java property can be given to regenerate all tests:

-Dtests.po.override.all

or just

-Dtests.po.override.sl
-Dtests.po.override.pp
-Dtests.po.override.rt

note that results may change due to index changes in internal lists. This is safe to commit since it doesnt change the POs.
Record types for VDM-SL state should include an invariant, fixes #304