Adding assume in lib.d.ts