VDM-SL traces fail when referencing state data, fixes 252