CoreLint
lintCoreBindings
lintUnfolding