adds property for diagonal constraints. But it seems not to detect fault in noMoreThanOneQueenInDiagonal2