Add an Arbitrary that also provides a label for the generated Process1