sepcomp: fix hardening related to the instantiation of dead types