Size inference clarifications