Fix off-by-one error

The precondition check in rollBackLastOutput should make sure there are
two or more outputs in order to proceed.

Extended test checking the error path to zero and one output and
modified a test that had only one output in order to make it satisfy the
precondition.
Add and use specific error code to indicate precondition violations
Make precondition explicit in method comment