Rules about wrappers.
We expand wrappers that are identity functions and are just used to inform ATC of the exact representation of C constructs.