added constraint test