Added invariant that checks interval placement