Assertion list for term "occur in the transformer".

Results from Ascent++: 1
fault CapableOfoccur in the transformer 0.28