Expand aliases in side view

[CatarinaGamboa]

It would be awesome if we also had expansion for aliases.
For example:

@RefinementAlias("Byte(int x) {x >= -128 && x <= 127}")
...
void test(@Refinement("Byte(b)") int b){
     test(b + 1); // is an error. 
}

The screen right now shows:

We could expand Byte(b) to have the byte expression defined before {b >= -128 && b <= 127} both in the found and the expected.

This requires interaction with liquidjava verifier.