add working assertion search