Interactive, scalable, declarative program analysis: from prototype to implementation