ensure Not Null
If the predicate is null, then throw the exception form the body. This should usually be called in a "result" block.
If the predicate is null, then throw the exception form the body. This should usually be called in a "result" block.