Adds a check verifying that an expression is not null.