Static Analysis of CLP Programs over Numeric Domains