Add wave equality assertion