make shrinkSession() prefer shorter sessions over smaller arguments