Module CCHPOCheckInScope

val check_in_scope : CCHAnalysisTypes.po_query_int -> CCHBasicTypes.exp -> bool