sepcomp: fix potential tagging issue in `is_same_type_test`