Adds specification for Update#_executeUserInputStream()