A folding rule for eliminating existential variables from constraint logic programs