Symbol: inj_decl_lookup