RT #123303 test exception throwing of undeducable sequences