Add Generic-Assertions