Added assert not null into parser constructors
Merge pull request #343 from kframework/newparser-null-assert

Added assert not null into parser constructors