fix false positive for nullpointer assigned by althmetic op