Add example for property based testing
Add example for global timeout