Assertion list for term "first input".
Results from Ascent++: 2
multiplexer → HasA → first input 0.51
adder → HasA → first input 0.41