Symbol: qed_vfid_to_concrete