Analysis of a CF Statement