fixes problem with incremental sba interreduction:
if size(interred_g) << size(g) we need some adjustments
fix for F5 Rewritten Criterion
Merge pull request #473 from ederc/sba-fixes

Fixes for SBA