Implementation of NEVER was wrong, it was ==0. Fixed by not also inheriting int. Added some more asserts.
Implementation of NEVER was wrong, it was ==0. Fixed by not also inheriting int. Added some more asserts.

cwi-dis/igor,cwi-dis/igor,cwi-dis/igor