Class TypeInferenceUtil.StateInfo