More tests
Compare if and only if both side of BinaryExpression is captured (or literal).