Daniel provides wording to support assert() in constant expressions