Fix and improve `iSpecialize` auto framing error message.

This closes issue #432 (closed).

Also this MR makes the error message more informative: it now shows on which premise it failed.

It also adds some tests.