Class FullConditionalExpressionWithType