localEdges
A list of local variables (or other values) associated to this statement, defined by their ValueDeclaration extracted from Block because for
, while
, if
, and switch
can declare locals in their condition or initializers.
TODO: This is actually an AST node just for a subset of nodes, i.e. initializers in for-loops