This example checks that replaying a step that defines a static tree.
