Adds some passing assertions.