enum constants don't work in -exec mode

here is a small example that does not execute (works via -2c-exec)

type Bit = enum {X0,X1};
const tt = X0;

node some_node(x:bool) returns (res:Bit);
let
  res = tt;
tel