Update the `assertions` tool with support for also using the term-expansion mechanism to suppress `assertion/1-2` calls