Closed andres-arana closed 6 years ago
When any statement that reads the current environment is executed, we should check that there is a mapping for every identifier read.
This has already been done on #131.
When any statement that reads the current environment is executed, we should check that there is a mapping for every identifier read.