Add basic substitute assertions.