Fully qualified function calls for `eqc:numtests/2`
Merge branch 'master' of https://github.com/MirkoBonadei/journey-towards-property-based-testing