Fixed 'unnecessary initialization' warnings from InteliJ.
Merge branch 'newparser-2' into newparser-null-warnings
Merge pull request #378 from kframework/newparser-null-warnings

Newparser null warnings