goto-programs: Replace uses of namespacet::follow

goto-programs: Replace uses of namespacet::follow #2602