Updated the "coinduction" example in order to fix an issue where predicate clauses where coinductive predicates are called would precede the corresponding coinduction/1 directives.
Updated the "coinduction" example in order to fix an issue where predicate clauses where coinductive predicates are called would precede the corresponding coinduction/1 directives.

git-svn-id: 4c7b768bc2e2a56aa1c56b1b5a9454ba68342430@6102 ac9c905b-388a-4ddf-9b6a-4063a022bc57

LogtalkDotOrg/logtalk2,LogtalkDotOrg/logtalk2,LogtalkDotOrg/logtalk2,LogtalkDotOrg/logtalk2,LogtalkDotOrg/logtalk2