All other steps of our chain save the AMITag in the Tag meta data.
Adding that for EVNT, at the suggestion of Vakho and Attila. This has
the nice side-effect of removing the last warning in TRUTH derivation
making.