TreeOrder constructor
Implementation
TreeOrder(Sort sort, this.id)
: super(
parameters: [id],
domain: [sort, sort],
range: BoolSort(),
name: const Sym('tree-order'),
kind: FuncKind.specialRelationTo,
);