question: clear the counterexample . concode_field_sep prism.Model model concode_elem_sep ArrayList<State> states concode_field_sep int getChoice concode_elem_sep int getModuleOrActionIndex concode_elem_sep long loopStart concode_elem_sep double getTime concode_elem_sep String getModuleOrAction concode_elem_sep boolean hasTimeInfo concode_elem_sep double getTransitionReward concode_elem_sep boolean hasActionInfo concode_elem_sep long loopEnd concode_elem_sep double getCumulativeTime concode_elem_sep boolean hasLoopInfo concode_elem_sep State getState concode_elem_sep double getStateReward concode_elem_sep long size concode_elem_sep boolean hasRewardInfo concode_elem_sep boolean hasChoiceInfo concode_elem_sep double getCumulativeReward concode_elem_sep boolean isLooping concode_elem_sep String toString concode_elem_sep void addState
target: void function ( ) { states = null ; }