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
Explain with comments why you do this test. Otherwise we might forget eventually.