Simple Prolog-based prover mainly designed for static analysis purpose