A Necessary Condition for Constructive Negation in Constraint Logic Programming