RELEASE++
Add not_null proc
RELEASE++