UpdateQuery  t_apply_patches_smt (children 3)
 Identifier t_apply_patches_smt
 Function equals (children 1)
  ExpressionList (children 2)
   Function modulo (children 1)
    ExpressionList (children 2)
     Identifier a
     Literal UInt64_4
   Literal UInt64_0
 ExpressionList (children 1)
  Assignment c (children 1)
   Literal UInt64_2
