WHERY-1: Add a basic Datalog checker.