machine(various_ops1).
'$initialise_machine'(avl_set(node(fd(1,'SetA'),true,1,empty,node(fd(2,'SetA'),true,0,empty,empty))),avl_set(node(fd(2,'SetA'),true,1,empty,node(fd(3,'SetA'),true,0,empty,empty))),avl_set(node(fd(1,'SetK'),true,1,empty,node(fd(2,'SetK'),true,0,empty,empty))),avl_set(node(fd(3,'SetK'),true,0,empty,empty)),avl_set(node((fd(2,'SetA'),fd(2,'SetK')),true,0,node((fd(1,'SetA'),fd(1,'SetK')),true,0,empty,empty),node((fd(2,'SetA'),fd(3,'SetK')),true,0,empty,empty))),avl_set(node((fd(1,'SetA'),fd(2,'SetA')),true,1,empty,node((fd(2,'SetA'),fd(3,'SetA')),true,0,empty,empty))),avl_set(node((fd(1,'SetA'),int(2)),true,1,empty,node((fd(2,'SetA'),int(1)),true,0,empty,empty))),avl_set(node((fd(1,'SetA'),fd(1,'SetK')),true,1,empty,node((fd(2,'SetA'),fd(2,'SetK')),true,0,empty,empty))),avl_set(node((int(2),fd(2,'SetA')),true,0,node((int(1),fd(1,'SetA')),true,0,empty,empty),node((int(3),fd(3,'SetA')),true,0,empty,empty))),rec([field(x,int(3)),field(y,int(6))]),int(2),int(5),int(0)).
'ArithOp'.
'ArithComp'.
'NumberSets'.
'SetPreds'.
'SetOps'.
'SetDefs'.
'Functions'.
'FunApplication'.
'RelationOperators'.
'LogicalConnectives'.
'Quantifiers'.
'Tuples'.
'Records'.
'Lets'.
'SeqDefs'.
'SeqOps'.
'SeqPreds'.
'BagOps'.
'BagPreds'.

