Assertion list for term "infer the type of the variable".

Results from Ascent++: 1
compiler CapableOfinfer the type of the variable 0.31