must not consider cloned constraints