LoadNode::Identity tries to see through an InlineTypeNode and return the corresponding input. This, however, has 2 issues:
- Identity should not return a new node
- It incorrectly transforms a mismatched access (LoadUS from a signed short is not considered mismatch from the memory pov but is so from the value pov)
The solution is to refactor the logic into can_see_stored_value