NextEvaluator: Handle Next(s, s)

[alcen]

Next(s, s) should be always false as no statement can point to itself (the closest is Next(s, s1) and Next(s1, s), when a while loop has 1 statement). Next*(s, s) is possible, however.