Analysis of Constraint Logic Programs