improvements to how fork paths are functionally verified