Semantic Analyser: PrintNode has not been verified

* Also traverse into PrintNode's (thanks to Gero).
* Mark undeclared variable usage as such and not as undefined.