Unit tests made using Definition instead of Check