public static PropertyStates NewProgramState(ProgramState programState) { return new ProgramStateWrapper(programState); }