Class BackwardTypeQualifierDataflowAnalysis