delete NoneStatement from package.k