Add occurs check