Converting identification into AST matchers

Convert all recursive visits into using AST matchers

All issues for this milestone are closed. You may close this milestone now.