When there are many statements with many constraints on an item, it may takes a time to perform the constraint check. Probably, there are a lot of things to do to improve the performance.
(Under this tasks, one could collect all concrete ideas to tackle this problem.)