property-based tests for demux