break;
case lambda_abs:
c->data.abstraction.ident = strdup(t->data.abstraction.ident);
+ c->data.abstraction.strict = t->data.abstraction.strict;
c->data.abstraction.expr = copy(t->data.abstraction.expr);
c->data.abstraction.revision = t->data.abstraction.revision;
break;