testing unit constraints ok