Record types for VDM-SL state should include an invariant, fixes #304