[sledge] Add Fol normalization of sequence terms
[sledge] Add Fol normalization of sequence terms

Reviewed By: jvillard

Differential Revision: D24371080

fbshipit-source-id: 574c2e53f

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