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.
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.