Adds new assertions