quickcheck properties for match.erl (match_eqc.erl)