Function translate_dist_to_ranges 

pub fn translate_dist_to_ranges(items: &[DistItem]) -> Vec<(u64, u64)>

Translate dist items into range constraints for formal verification. IEEE 16.14.2: In formal mode, dist ≡ inside (range restriction only).