Still trying to setup PropEr testing for the Erlang driver