CCHPOCheckValueConstraint
val check_value_constraint : CCHAnalysisTypes.po_query_int -> CCHBasicTypes.exp -> bool