ENHANCED: CLP(FD): Use newly available var_property/2 to avoid
                   "Test is always true: var(...)" warnings.