Assertion list for term "do static type checking".

Results from Ascent++: 1
compiler CapableOfdo static type checking 0.28