Examples - NLLVerify