Add a test for the Optional class
Fix a bug in the AstNodeSanitizer and add tests