let strict_before u v = u.lo < v.lo && u.hi < v.hi