fixed import statement for clpfd #=