Assertion list for term "perform type checking".

Results from Ascent++: 1
compiler CapableOfperform type checking 0.39