Fix hypothesis parameter on thread