CreateQuery constraint_test_transitivity3 (children 3)
 Identifier constraint_test_transitivity3
 Columns definition (children 2)
  ExpressionList (children 3)
   ColumnDeclaration a (children 1)
    DataType Int64
   ColumnDeclaration b (children 1)
    DataType Int64
   ColumnDeclaration c (children 1)
    DataType Int64
  ExpressionList (children 1)
   Constraint (children 1)
    Function and (children 1)
     ExpressionList (children 2)
      Function greater (children 1)
       ExpressionList (children 2)
        Identifier b
        Literal UInt64_10
      Function greater (children 1)
       ExpressionList (children 2)
        Literal UInt64_1
        Identifier a
 Storage definition (children 1)
  Function TinyLog