added assertion for successor