Throw a meaningful error message in case we try to solve an integral
equation via first order reformulation.

Also, updating corresponding test so that it passes.