not disable widenings on call nodes
refactoring worklist.ml