FSMSpecHelpers Members