We have to include use ExCheck use ExUnitProperties at the top to include the property test framework.
ExCheck was used in Programming Elixir 1.3, but is not used in Programming Elixir 1.6.
Programming Elixir 1.6 uses a library called StreamData, which has the ExUnitProperties module, instead of ExCheck for property-based testing.