Added constraint test