property-based-testing-with-proper-in-erlang__the-pragmatic-programmers