attributes that are completely internal to Frama-C and do not have any impact
on the semantics of the underlying value should not lead to a cast node.