Make sure jump-to-def respects size limit