1. adds operation counting in sba
2. enables partial tailred for incremental sba
adds new comparison checks in sba:
counts also number of steps during the interreduction process
of incremental sba variants
adds experimental sba tailred (disabled by default)
workin sba tail reduction (disabled by default)