TAGS: store + Decreases + free patterns