Added a couple comments to clarify how we handle undefined stmts.