Condense cases in 'def_id_opt'.
Condense cases in 'def_id_opt'.

gsquire/Rocket,shssoichiro/Rocket,shssoichiro/Rocket,impowski/Rocket,antonpirker/Rocket,shssoichiro/Rocket,gsquire/Rocket,impowski/Rocket,gsquire/Rocket,impowski/Rocket,antonpirker/Rocket,antonpirker/Rocket