FIXED: Ensure size_bits field is filled into the labels struct.
TODO: Some are still missed. E.g. Stack pointer.
FIXED: Set the PHI dst size_bits.