Under cooling in a refrigeration cycle