Constraint Systems for Pattern Analysis of Constraint Logic-BasedLanguages