Assertion list for term "anded".
Results from Ascent++: 2
bit → HasProperty → anded 0.45
multiplexer → HasProperty → anded 0.25