header-wave_txnotallequal

by SPARK