Assertion list for term "three kinds of variables".

Results from Ascent++: 1
experiment HasAthree kinds of variables 0.36