Cyclic Termination Measures

[ArquintL]

Gobra should reject pure functions that use themselves as a termination measure. While Viper issues a consistency error, Gobra does not.

[jcp19]

minimal example:

package p

decreases f()
pure func f() int