Demonstrates the read and the assert_in predicates.

Warning: because of assert_in function this program is self-modifying
 To restore the original, delete all the clauses following the comment.
 

See also Examples