Checked type of u1
Checked type of u2
Resolved !u1
Searched references to UnaryNot
Searched references to UnaryNot.not() in non-Java files
Searched references to u1 in non-Java files
Searched references to u2 in non-Java files