Expand description
Type-compatibility checks. Type-compatibility contract checker.
This module verifies Typed obligations by comparing the graph’s current
object type with the pointer node’s tracked type and then requiring
initialization for the reached value.