EST-410: Add guaratees module