EMFeR: Testcases do not pass
Running :jastadd-mquat-solver-emfer:test
, the five test cases of EMFeRHandwrittenTest
fail.
The solver always returns an empty solution (no assignments), thus the assertions fail.
Are there any assumptions in the solver w.r.t. the structure of the model. They may not hold for the testcases.