Update assertions.sql