Improvements for SBA

1. Improved tail reduction
2. Enables SBA to use term-over-position module order