Fix bugs affecting straight-line LFV3
More fixes to LFv3; now passes simple tests that cover most cases of sharing/unsharing block and value maps