EST-408b: Minor adjustment in class Guarantee