Make renamedt inherit from underlyingt#4454

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:renamedt-inheritanceromainbrenguier/cbmc:renamedt-inheritanceCopy head branch name to clipboard