Efficient analysis of pattern-based constraint specifications