New version of the `assertions` tool

Changed semantics for the `assertion/1-2` predicates, which now always succeed by default. Added support for using the term-expansion mechanism for automatically generating context information for the assertion calls.