StateRefinementError was now shows all needed variables

[CatarinaGamboa]

Description

StateRefinementError was not showing error message with all the needed variables.
Error example:

[SMT]   #body_9 : BufferedInputStream  true
[SMT]   #fresh_11 : boolean            (#fresh_11 == true --> state1(#body_9) == 1) ∧ (#fresh_11 == false)
[SMT]   ────────────────────────────────────────
[SMT] state1(#body_9) == 2

[SMP] Before simplification: true
[SMP] After simplification:  true

Example

Now we do the same as for the RefinementError, gathering variables also from the expected.
Result:

[SMP] Before simplification:
[SMP]   #fresh_11 == true --> markSupported(#body_9) &&
[SMP]   #fresh_11 == false
[SMP] After simplification:  false --> markSupported(#body_9)

Type of change

• Bug fix
• New feature
• Documentation update
• Code refactoring

Checklist

• Added/updated tests under liquidjava-example/src/main/java/testSuite/ (Correct* / Error*)
• mvn test passes locally
• Updated docs/README if behavior or API changed

[rcosta358]

Nice!