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

Merged

tautschnig merged 1 commit intodiffblue:developfrom

tautschnig:no-follow-goto-programs

Jan 12, 2019

Commits on Jan 12, 2019

Remove unnecessary use of ns.follow in goto-programs/
tautschnig
committed