added QuickCheck property for range queries on positions.