chore(ACIR): prefer displaying ASSERT return_value = ...#10195
Merged
chore(ACIR): prefer displaying ASSERT return_value = ...#10195
ASSERT return_value = ...#10195