A multistage game representation of sophisticated voting for binary procedures