Add opaque, prim, and symb attributes to constant nodes

[JasonGross]

• OpaqueDef constants get opaque=yes, body=yes
• Def constants get opaque=no, body=yes
• Undef constants get opaque=yes, body=no
• Primitive constants get prim=yes, body=no (no opaque)
• Symbol constants get symb=yes, body=no (no opaque)

I am mostly interested in the opaque attribute, and figured I'd add the other ones along side it.

Update all test oracle files and README documentation.

🤖 Generated with Claude Code

[ybertot]

Thanks for this contribution. In a way, this reduces the need for PR #168, because once we extract a graph with opaque nodes marked as such, the behavior of generating a graph where opaque nodes are not traversed could be performed by post-processing.

[ybertot]

The fact that you used Claude to produce the code is irrelevant, as was already mentioned in a comment for another pull request. Even more so in this case because the amount of code actually written for this patch is minute.

[ybertot]

This looks good to me.

Thanks for your contribution.

[JasonGross]

In a way, this reduces the need for PR #168, because once we extract a graph with opaque nodes marked as such, the behavior of generating a graph where opaque nodes are not traversed could be performed by post-processing.

For opaque nodes, I want to be able to get the dependencies of their statements without getting the dependencies of their bodies.

The fact that you used Claude to produce the code is irrelevant, as was already mentioned in a comment for another pull request. Even more so in this case because the amount of code actually written for this patch is minute.

Indeed, this was just me being lazy (Claude Code automatically inserts the message about itself). I can strip it out in the future.