Added occurs check