[eradicate] always allow to refine nullable types using repeated calls
[eradicate] always allow to refine nullable types using repeated calls

Reviewed By: mbouaziz

Differential Revision: D9494876

fbshipit-source-id: e17c91bdb

facebook/infer,facebook/infer,jvillard/infer,jvillard/infer,facebook/infer,jvillard/infer,jvillard/infer,jvillard/infer,jvillard/infer,facebook/infer,jvillard/infer,facebook/infer,facebook/infer,facebook/infer