IsZeroValue checks whether the given expression is a 'zero value' (as determined by output of analysisinternal.ZeroValue).

MatchingIdents finds the names of all identifiers in 'node' that match any of the given types.

StmtToInsertVarBefore returns the ast.Stmt before which we can safely insert a new variable.

TypeExpr returns syntax for the specified type.

WalkASTWithParent walks the AST rooted at n.