Use uninitialized Node reference as fail transition instead of 'nothing', and separate pre- and post- fail transition addition search functions.