CreateQuery constraint_test_transitivity (children 3) Identifier constraint_test_transitivity Columns definition (children 2) ExpressionList (children 4) ColumnDeclaration a (children 1) DataType Int64 ColumnDeclaration b (children 1) DataType Int64 ColumnDeclaration c (children 1) DataType Int64 ColumnDeclaration d (children 1) DataType Int32 ExpressionList (children 2) Constraint (children 1) Function and (children 1) ExpressionList (children 2) Function equals (children 1) ExpressionList (children 2) Identifier a Identifier b Function equals (children 1) ExpressionList (children 2) Identifier c Identifier d Constraint (children 1) Function equals (children 1) ExpressionList (children 2) Identifier b Identifier c Storage definition (children 1) Function TinyLog