Remove unnecessary use of ns.follow in goto-programs/#3761

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:no-follow-goto-programstautschnig/cbmc:no-follow-goto-programsCopy head branch name to clipboard