CCHPOCheckFormatCast
val check_format_cast : CCHAnalysisTypes.po_query_int -> CCHBasicTypes.typ -> CCHBasicTypes.typ -> CCHBasicTypes.exp -> bool