LispTree tree = LispTree.proto.newList();
tree.addChild(mode + "");
tree.addChild(rank + "");
tree.addChild(count + "");
tree.addChild(head.toLispTree());
tree.addChild(relation.toLispTree());
return tree;
}
public Formula map(Function<Formula, Formula> func) {
Formula result = func.apply(this);