public static PropertyStates NewReasonForHalt(ProgramError reasonForHalt) { return new ReasonForHaltWrapper(reasonForHalt); }