CoreLint
lintCoreBindings
lintUnfolding
lintExpr