Updated version of demo with minor improvements to the examination interface, including remembering the statement branched from and the ability to switch to a statement by clicking the number.