Assertion list for term "let in addition".

Results from Ascent++: 1
thermostat CapableOflet in addition 0.16