(probably) fixed non-deterministic nullpointer exc. in semantic analyzer