def METHOD_NAME(self, node: astroid.UnaryOp) -> z3.ExprRef:
    """Convert an astroid UnaryOp node to a z3 expression."""
    left, op = node.operand, node.op
    left = self.reduce(left)
    return self.apply_unary_op(left, op)