Symbol: add_input_randomness