Class NonProbabilisticStoexExpressionTypeInference