Assertions for the XP Framework