Fix return type of nodes_empty#2400

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:vs-return-typetautschnig/cbmc:vs-return-typeCopy head branch name to clipboard