Reduce the number of final states in the default program.

I just experienced that beginners get confused by the large number of
final states and wonder what their semantics are. In this program we use
final states to transport a certain information about the algorithm
output. Those final states are the only relevant here.