fix(frontends/lean/builtin_cmds): bug (name clashing) in 'check' command new meta-variable naming