Add AliasIsPublic Constraint