Assertion list for term "go to the hlevel".

Results from Ascent++: 1
terminal (aspect of transistor) CapableOfgo to the hlevel 0.25