Update the `cc` example to workaround a bug in the reflection API of Lean Prolog