Add assertions to specs