Symbol: inj_defn_lookup