No rejected runs

probog doesn't have any rejected runs.