New behavior for method times() of pset class