-- progrss towards domain functions and tests
-- basic property test for adding a test