CoreLint

lintCoreBindings

lintUnfolding