Simplify Boolean Expressions By Removing Redundant Literals

[rcosta358]

Summary

Remove boolean literals from expressions like (true && x) and (false || x). This simplifies the error messages a bit.

Example

public class Test {
    public static void k(@Refinement("y < 0") int y) {}

    public static void f(@Refinement("x < 0") int x) {
        k(x + 1); // refinement error
    }
}

Before:

Failed to check refinement at: 
...
Type expected:(#y_1 < 0)
Refinement found:true && #y_1 == #x_0 + (1) && #x_0 == x && (x < 0)

After:

Failed to check refinement at:
...
Type expected: (#y_1 < 0)
Refinement found: #y_1 == #x_0 + (1) && #x_0 == x && (x < 0)