Generate constraint-warning rules to find constructs not handled by name binding rules