add test program to show if lexical blocks are being correctly accounted for
Make span adding allocate lexical blocks to their parent context instead of null