check the variables never go below 0

Right now, the parser checks if the substraction is valid or not but the program doesn't take care about the 'in' restriction yet
constan -> constant