bugfix: programs without output are now also incorrect.