id	summary	reporter	owner	description	type	status	priority	milestone	component	version	severity	resolution	keywords	cc
273	Date Succ(date, timeSet, -k), with k>0	Javier Gallardo	Víctor de Buen Remiro	"Date fec = y2003m04d23;

// please try this in on different tol versions

Date fec02 = Succ(fec, Succ(D(1), -2, WD(5)),  2);
Date fec01 = Succ(fec, Succ(D(1), -2, WD(5)),  1);

// I've got:
// fec01 = y2003m04d18 which is prior to fec (Version 2005/04/08)
// fec02 = y2003m04d25 (Version 2005/04/08)
// fec02 = y2003m05d30 which doesn´t belong to Succ(D(1), -2, WD(5)) (Version 
2004/05/04)

// This produces always the same Date in all the version si have tried
//  fec.0k = y2003m04d18 !!!
Date fec.01 = Succ(fec, Succ(D(1), -2, WD(5)), -1);
Date fec.02 = Succ(fec, Succ(D(1), -2, WD(5)), -2);
Date fec.03 = Succ(fec, Succ(D(1), -2, WD(5)), -3);
Date fec.04 = Succ(fec, Succ(D(1), -2, WD(5)), -4);"	defect	closed	normal		TimeSetAlgebra	head	major	fixed