Added property based tests
Code Example, some remarks