Added domain and range property testing