Variable deletion is not accounted for

[limanjun99]

There is currently no way to signify that a variable has been deleted. This is a valid use case, as seen in this issue.

TODO:

• Decide on a format to represent variable deletion
• Figure out how to detect variable deletion when executing code