change: parser should validate a block-statements.