trapped value analysis watermark