In the following code, my predicate constraint_connected_areas_rows breaks the search. What am I doing wrong ?
constraint_connected_areas_rows
:- use_module(library(clpfd)). % ---