Constraint-based feature validation by