generate Size annotation from length restriction