Print check output to stdout.
Only program errors were supposed to go to stderr.
Better error message for unhandled call expression types