}
else if (TreeAdapter.isCycle(tree)) {
return new Tree.Cycle(TreeAdapter.getCycleType(tree), TreeAdapter.getCycleLength(tree));
}
else if (TreeAdapter.isAmb(tree)) {
ISet args = TreeAdapter.getAlternatives(tree);
java.util.List<Expression> kids = new ArrayList<Expression>(args.size());
for (IValue arg : args) {
kids.add(liftRec((IConstructor) arg, lexicalFather, layoutOfFather));
}