# Semantic analysis

## Label checking

- Over all the bindings:
    - Resolve references with the Symbol table
    - If valid, insert reference into Symbol table

## Type checking

TODO

## Flow control check

TODO