Create replace_binary_on_ret_and_not