| Fun of path * path list * query list
| Gen of path * query list
| Add of bool * groups * query
| For of gen * avar * query * query
| Fun of path * path list * query list
| Gen of path * query list
| Add of bool * groups * query
| For of gen * avar * query * query