fix subtract inference trying to access null type through invalid ptrtype; adding pointer move assignment check