add Test case reported at ML699
fix ForNode
fix KBuilder_VisitBlockNode