added some comments to LibWfenv to remind us what its main predicates do