Assertion list for term "decode symbol".

Results from Ascent++: 1
receiver CapableOfdecode symbol 0.25