When a VarDecl is interpreted there are currently two bugs:
If the VarDecl is for a constant (there is a flag in the label to identify it), the field created should be marked as constant.
If the third child of the VarDecl node is a NoExpNode, then (a) it must never be selected. (We don't step NoExpNodes) and (b) the value of the node is not initialized, it is left as a NullV.
When a VarDecl is interpreted there are currently two bugs:
If the VarDecl is for a constant (there is a flag in the label to identify it), the field created should be marked as constant.
If the third child of the VarDecl node is a NoExpNode, then (a) it must never be selected. (We don't step NoExpNodes) and (b) the value of the node is not initialized, it is left as a NullV.