More precise time counting for BVA
Don't recompute clause sizes
These values are const