Dummy predicate example.
Some small fixes (There are more).

I hope I'll have time in a couple of days to discuss fixes.