Symbol: qed_chain_get_elem_used