Shift size inference constraints to new file