Add example of IS NOT NULL generation

missing a few ---