Clang tool that annotates asserted variables and their usage in the AST