Fixed bug that did not display the boundCheckFailed command in the generated specification.