Assertion list for term "differ in power".

Results from Ascent++: 1
signal CapableOfdiffer in power 0.30