Issue with using $countones in constraint

In reply to i_roey:

The constraint solver is solving without any issues,when the ‘hard’ keyword is removed. See this link.
What is the reason to specify the ‘hard’ explicitly? By default constraints are hard.