Beersmith calculates ABV simply by comparing OG to FG. I don't believe it tweaks your FG based on the presumed fermentability of the grist, nor does it seem to when I play with it. FG is, at best, an estimate in any case, and even the calculation of ABV from OG and FG relies on a number of basic assumptions.