Prototype of GT constraint for futoshiki puzzle