Changed insert_leaf_works so it no longer has a exists in the assumptions.