Recursive self-calls inspection

[vrom911]

See Recursive self-calls. E.g.:

let x = x + 1

Especially useful to have this check in instances, as it is quite a common mistake.