[nexa] Paper: "Law is Code: A Software Engineering Approach to Analyzing the United States Code"