CoreLint
lintCoreBindings
lintUnfolding
showPass
endPass
endPassIf
endIteration