remove local var counter in analyzer (most of them are removed on the majority of targets and `rename_local_vars` takes care of the rest)
make sure `verify_ast` only runs once