Updates to Let/Flet/Labels analyzers.