Assertion list
c compiler (subgroup of compiler ) → HasA
Results from Ascent++: 1
c compiler → HasA → option 0.79