Forall unit test generation: examples?

Help! Predicate
2

I think I write one of those every day.

See: UTF-8 encode and decode

Also see: Unit testing and using assertion/1

If you search here for begin_tests you will find many example test cases and often mine will use forall.