This is a modified version of PropEr: PROPerty-based testing tool for ERlang
Copyright 2010-2022 by Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas.
The original tool is publicly available at: https://github.com/proper-testing/proper
We performed an adaptation of some of its modules in order to use some powerful parts of the tool in our work.