Since the evaluation of an is -expression relies on matching, the expression S is S+1 is completely meaningless.
If S already has value, matching will be unsuccessful (the values of S and S+1 cannot be identical).