[env-builder] Include locations in sentinel refinements
[env-builder] Include locations in sentinel refinements

Summary: Locations are needed in sentinel refinements in order to correctly convert them to check-time predicates.

Reviewed By: samwgoldman

Differential Revision: D29857043

fbshipit-source-id: 0328f7ef85959154e400c83c9a43d1cda1ad5317

facebook/flow,facebook/flow,facebook/flow,mroch/flow,mroch/flow,facebook/flow,mroch/flow,facebook/flow,mroch/flow,mroch/flow,facebook/flow,mroch/flow,facebook/flow,mroch/flow