Added ProgrammaticConstraintDeclarationTest