DEF_UNDEF
if (expr->defined == DEF_UNDEF)
*out_true_exprDefined = DEF_UNDEF;
if (expr.defined == DEF_UNDEF) {