Begun work on planning supporting regressive solving