Using Cedar to write the unit test