Updated to use the new smt-asserts API.