discretizer: check whether the substitution had any effect

Adding this simple check would have saved me a lot of time.

For example, one would not run into problems like #125 (closed).