Added invariant for overlapping showtimes