[PPL-devel] Put the constraint (x!=0) to a Int64_Box ?