Added extra constraints for >=0 varibles. Gubori does not respect the variable type sometimes