Virtually free finite-normal-subgroup-free groups are strongly verbally closed

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.