Datalog-style rule definitions for bug detection
This module defines the logical rules used for pattern matching, inspired by Datalog and Mozart/Oz constraint logic programming.