Part of the problem is solved. Right now, the parser checks if the substraction is valid or not