Crater frequencies on lava-covered areas related to the moon's thermal history