Soufflé is a logic-based programming language designed for rapid prototyping of static analysis...