Add tests for the three error conditions listed in the beginning of the
description of the second synopsis form.