Assertion list for term "changed to h level".

Results from Ascent++: 1
circuit ReceivesActionchanged to h level 0.25