added code outlines for successor function and forward search