Assertion list for term "instrumentation ports".

Results from Ascent++: 1
port IsAinstrumentation ports 0.32