renameBug.lean:3:13-3:14: error(lean.unknownIdentifier): Unknown identifier `c`