Man pages matching name goto-instrument in section 1:

goto-instrument.1.en	debian 10 / cbmc
goto-instrument.1.en	debian 11 / cbmc
goto-instrument.1.en	debian 13 / cbmc