NTL constraint does not work always