Functionnal isolation in the check constraints