Added predicates for search termination and the visiting of undiscovered areas. Started documenting concepts and requirements used in the search core.