@Override
    public Name getName() {
        if (name != null) {
            return name;
        } else {
            String fn = genLambdaName();
            name = new Name(fn, start, start + "lambda".length());
            addChildren(name);
            return name;
        }
    }