Datalog rules for summaries (static analysis)