#22 varies() over a single value fails

[Andrew V. Adinetz]

The code like this fails to compile:
mutabe r = ...;
...;
varies(r in 4) {
...
}