Datalog for Program Analysis: Beyond the Free Lunch