Added goal test and successor function classes.