No rejected runs

construct doesn't have any rejected runs.