Allow VDM-SL traces to see state data