Removed unused imports
Clarify usage of add_tablesize_fitting_for