Consistency Verification -- Session 18. Shape Analysis -- Programs with Lists Are