CONSTRAINT_ERROR when using equation-by-equation solving

[verthandi]

The input consists of equations with positive dimension solution sets. When run with simple example(8 equations with 3 variables) the output agrees with Mathematica. When run with a more complicated system of 43 equations with 12 variables, the program terminates with

"
Oops, an unhandled exception occurred.
Seed used in random number generators : 990593.
Use the seed number to reproduce the error.

raised CONSTRAINT_ERROR : generic_vectors.adb:159 explicit raise
"

Input that causes problem:
https://pastebin.com/raw/1ECNXGDi

[janverschelde]

Thanks for reporting this bug.