Class ForwardTypeQualifierDataflowAnalysis