code: def test_arith():
      check(
          "(1-z)*h + z*h_",
          """BinaryOp(op=<PLUS:+,8:9>,
                        lhs=BinaryOp(op=<STAR:*,5:6>,
                                   lhs=BinaryOp(op=<MINUS:-,2:3>,
                                                lhs=1,
                                                rhs=z),
                                   rhs=h),
                        rhs=BinaryOp(op=<STAR:*,11:12>,lhs=z,rhs=h_))""",
      )
  
imports: from tsensor.parsing import *
  import re
label_desc: Use image node_id 22 for calling a global function with example usage: test_arith() without return types