Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer