Assert that this expression is true if and only if other is true.
other
Expr iff(Object other) => BinaryOp(BinaryOpKind.eq, this, $(other)).declare();