documented ifnotnull special form in specification