The lazy happens-before relation: better partial-order reduction for systematic concurrency testing