Assertion list for term "two gates instead of one".

Results from Ascent++: 1
transistor HasAtwo gates instead of one 0.25