Part of the problem is solved.

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