public function setEnabled(Enabled $enabled)
{
$randomMode = false === $enabled->value() ? new PhpUnitRandomMode(false) : $this->randomMode;
$options = false === $enabled->value() ? new PhpUnitOptions(null) : $this->options;
return new self(new Undefined(false), $enabled, $randomMode, $options);
}