  Any virtually free group $H$ containing no non-trivial finite normal subgroup
(e.g., the infinite dihedral group) is a retract of any finitely generated
group containing $H$ as a verbally closed subgroup.
