Writing AST parsing code that finds asserts of the form `assert X == Y` and automatically extracts their values at runtime.

[tusharsadhwani]