Cyclical dependency error in certain cases guarded by a lambda

[runarorama]

Code to reproduce:

go : Nat -> Nat
go =
  go3 x = go x
  go3

Here go in the body of go3 is guarded by a lambda, but there's some rewriting happening to generate a synthetic term go47 which unguards it somehow.