TiCS | Precilog, continuous bug detection