Real case 3-2 - Githubissues

For my implementation of eq.ml, it passes eq3.scm, but the output is of different order than scm.expected.
```
satisfiable
(define-fun tgt_x () Int
2)
-(define-fun src_x () Int
```
2) (define-fun src_y () Int 1) +(define-fun src_x () Int
Is this still a valid result?
In general, will our solution only be graded getting the satisfiability correct, or will we also be checked on the produced model?

prosyslab / dude-test