Fixed a bug in Node.reversed_input_history when stop_at is not None
Fixed a bug in Node.reversed_input_history when stop_at is not None

(introduced in 39724f3ae40dfbc02f807801c4a379b64db2a4bb)

eliasrg/SURF2017