[sledge] Factor out common code around calls of Dom.exec_assume
[sledge] Factor out common code around calls of Dom.exec_assume

Reviewed By: jvillard

Differential Revision: D25756560

fbshipit-source-id: ace476496

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