exceptions in karparser