update variable constraints for non null